Sets, Models and Proofs

• Main Authors: Moerdijk, Ieke (Author, http://id.loc.gov/vocabulary/relators/aut), van Oosten, Jaap (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Springer Undergraduate Mathematics Series,
• Subjects: 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...