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...