Sets, Models and Proofs

• Κύριοι συγγραφείς: Moerdijk, Ieke (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), van Oosten, Jaap (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Springer Undergraduate Mathematics Series,
• Θέματα: Proof theory.; Algebra.; Structures and Proofs.

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and us...

Πίνακας περιεχομένων:

• Introduction
• 1 Sets
• 2 Models
• 3 Proofs
• 4 Sets Again
• Appendix: Topics for Further Study
• Photo Credits
• Bibliography
• Index.