A concise introduction to mathematical logic

DOI10.1007/0-387-34241-9zbMath1093.03001OpenAlexW1593067057MaRDI QIDQ5920562

Wolfgang Rautenberg

Publication date: 14 June 2006

Published in: Universitext (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/0-387-34241-9

zbMATH Keywords

modal logicmodel theoryproof theorylogic programmingmathematical logicalgorithm theoryself-referential formulaGödel's theoremsformal inferenceGentzen's natural inference

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic programming (68N17)

Related Items (4)

Formal and Natural Proof: A Phenomenological Approach ⋮ What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ? ⋮ A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$ ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS

This page was built for publication: A concise introduction to mathematical logic