Model theoretical investigation of theorem proving methods

DOI10.1305/NDJFL/1093888501MaRDI QIDQ1228367zbMATH OpenOpenAlexFDO

Authors T. Gergely, K. P. Vershinin

Publication date 1978

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093888501

Mathematics Subject Classification ID

Classical first-order logic (03B10) Proof theory and constructive mathematics (03F99)

This page was built for publication: Model theoretical investigation of theorem proving methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1228367)