Classical First-Order Logic

DOI10.1017/9781108982009OpenAlexW4226383481MaRDI QIDQ5021145FDOQ5021145

Authors: Stewart Shapiro, Teresa Kouri Kissel 

Publication date: 12 January 2022

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• JGXYZ: an ATP system for gap and glut logics
• Classical mathematical logic.
• Title not available (Why is that?)
• Title not available (Why is that?)
• On two classical results in the first order logic

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)