TY  - BOOK
AU  - Moerdijk, Ieke 
AU  - Oosten, Jaap Van
TI  - Sets, Models and Proofs
SN  - 9783319924137
U1  - 551.3 
PY  - 2018///
CY  - Switzerland
PB  - Springer
N2  - 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 usefulness of logic in the study of these subject areas
ER  -