Sets, Models 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...

Full description

Bibliographic Details

Main Author:	Moerdijk, Ieke (Author)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing, 2018.
Edition:	1st ed. 2018.
Series:	Springer Undergraduate Mathematics Series,
Subjects:	Proof theory. Algebra.
ISBN:	9783319924144
ISSN:	1615-2085
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!