Sets, models and proofs

DOI10.1007/978-3-319-92414-4MaRDI QIDQ3177332zbMATH OpenOpenAlexFDO

Authors Ieke Moerdijk, Jaap van Oosten

Publication date 23 July 2018

Published in Springer Undergraduate Mathematics Series (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic (educational aspects) (97E30)

Recommendations

• A first course in mathematical logic and set theory
• The mathematics of logic. A guide to completeness theorems and their applications
• A first journey through logic
• Introduction to mathematical logic
• Mathematical logic

Cited in

(17)

• Mathematical logic. On numbers, sets, structures, and symmetry
• scientific article; zbMATH DE number 1126844 (Why is no real title available?)
• Mathematical logic. Exercises and solutions
• scientific article; zbMATH DE number 3885853 (Why is no real title available?)
• A Theory of Mathematical Objects as a Prototype of Set Theory
• A first course in mathematical logic and set theory
• scientific article; zbMATH DE number 1932778 (Why is no real title available?)
• Set theory. Centre de Recerca Matemàtica Barcelona, 2003--2004
• Mathematical logic through Python
• Neural network learning and quantum gravity
• Concise introduction to logic and set theory
• Mathematical logic. On numbers, sets, structures, and symmetry
• Chains without regularity
• Concrete Models of Set Theory
• Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
• Introduction to mathematical logic
• scientific article; zbMATH DE number 5910780 (Why is no real title available?)

This page was built for publication: Sets, models and proofs

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