Mathematical logic

DOI10.1007/978-3-319-44180-1MaRDI QIDQ2833299zbMATH OpenOpenAlexFDO

Authors Martin Ziegler

Publication date 17 November 2016

Published in Mathematik Kompakt (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Introduction to mathematical logic
• Frontiers of mathematics. A journey through the key areas of mathematical logic
• Mathematical logic
• scientific article; zbMATH DE number 427554
• Mathematical logic. Exercises and solutions

Cited in

(14)

• scientific article; zbMATH DE number 3985181 (Why is no real title available?)
• scientific article; zbMATH DE number 647395 (Why is no real title available?)
• Logic and mathematics
• scientific article; zbMATH DE number 3115104 (Why is no real title available?)
• scientific article; zbMATH DE number 3181175 (Why is no real title available?)
• Modern Mathematical Logic
• Mathematical logic
• Mathematical Logic: Mathematics of Logic or Logic of Mathematics
• Must we believe in set theory?
• scientific article; zbMATH DE number 5306054 (Why is no real title available?)
• Frontiers of mathematics. A journey through the key areas of mathematical logic
• Mathematische Logik
• scientific article; zbMATH DE number 841118 (Why is no real title available?)
• scientific article; zbMATH DE number 2171656 (Why is no real title available?)

This page was built for publication: Mathematical logic

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