Classical First-Order Logic

DOI10.1017/9781108982009MaRDI QIDQ5021145zbMATH OpenOpenAlexFDO

Authors Stewart Shapiro, Teresa Kouri Kissel

Publication date 12 January 2022

Full work available at URL https://doi.org/10.1017/9781108982009

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 54169
• Elements of logical reasoning
• scientific article; zbMATH DE number 1278449
• Mathematical logic
• scientific article; zbMATH DE number 204999

Cited in

(5)

• JGXYZ: an ATP system for gap and glut logics
• Classical mathematical logic.
• On two classical results in the first order logic
• scientific article; zbMATH DE number 1028229 (Why is no real title available?)
• scientific article; zbMATH DE number 3251384 (Why is no real title available?)

This page was built for publication: Classical First-Order Logic

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