Mathematische Logik

DOI10.1007/978-3-319-44180-1zbMath1357.03002OpenAlexW4236020110MaRDI QIDQ2833299

Martin Ziegler

Publication date: 17 November 2016

Full work available at URL: https://doi.org/10.1007/978-3-319-44180-1

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) First-order arithmetic and fragments (03F30) Axiomatics of classical set theory and its fragments (03E30) Turing machines and related notions (03D10)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Mathematische Logik