Modern Mathematical Logic
From MaRDI portal
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Model theory (03Cxx) Computability and recursion theory (03Dxx) Ordinal and cardinal numbers (03E10) Axiomatics of classical set theory and its fragments (03E30) Gödel numberings and issues of incompleteness (03F40)
Recommendations
- scientific article; zbMATH DE number 3103224
- Mathematical Logic
- scientific article; zbMATH DE number 663929
- scientific article; zbMATH DE number 3241254
- Mathematical logic
- Mathematical logic
- scientific article; zbMATH DE number 3106607
- Mathematische Logik
- scientific article; zbMATH DE number 5306054
Cited in
(2)
This page was built for publication: Modern Mathematical Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5086251)