Classical mathematical logic.

MaRDI QIDQ2753072zbMATH OpenFDO

Authors Antonín Sochor

Publication date 24 October 2001

zbMATH Keywords

predicate calculuspropositional calculustextbook

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10) Interpolation, preservation, definability (03C40) Turing machines and related notions (03D10) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 1909447
• scientific article; zbMATH DE number 53405
• Mathematical logic.
• Classical First-Order Logic
• scientific article; zbMATH DE number 2061760

Cited in

(3)

• Large cardinals and the continuum hypothesis
• scientific article; zbMATH DE number 204999 (Why is no real title available?)
• Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba.

This page was built for publication: Classical mathematical logic.

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