Bezem, Marc; Coquand, Thierry Skolem’s theorem in coherent logic. (English) Zbl 1458.03047 Fundam. Inform. 170, No. 1-3, 1-14 (2019). MSC: 03G30 03B20 03F03 18B25 PDFBibTeX XMLCite \textit{M. Bezem} and \textit{T. Coquand}, Fundam. Inform. 170, No. 1--3, 1--14 (2019; Zbl 1458.03047) Full Text: DOI
Fisher, John; Bezem, Marc Skolem machines. (English) Zbl 1193.68108 Fundam. Inform. 91, No. 1, 79-103 (2009). MSC: 68Q05 03D10 PDFBibTeX XMLCite \textit{J. Fisher} and \textit{M. Bezem}, Fundam. Inform. 91, No. 1, 79--103 (2009; Zbl 1193.68108) Full Text: DOI