Modern Mathematical Logic
From MaRDI portal
Publication:5086251
DOI10.1017/9781108973106OpenAlexW4312642959MaRDI QIDQ5086251
Publication date: 5 July 2022
Full work available at URL: https://doi.org/10.1017/9781108973106
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Axiomatics of classical set theory and its fragments (03E30) Ordinal and cardinal numbers (03E10) Gödel numberings and issues of incompleteness (03F40) Computability and recursion theory (03Dxx) Model theory (03Cxx)
This page was built for publication: Modern Mathematical Logic
