Sets, Models and Proofs
Moerdijk, Ieke
Sets, Models and Proofs by Ieke Moerdijk and Jaap Van Oosten - Switzerland Springer 2018 - xiv, 141p. PB
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.
9783319924137
551.3 / M69S
Sets, Models and Proofs by Ieke Moerdijk and Jaap Van Oosten - Switzerland Springer 2018 - xiv, 141p. PB
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.
9783319924137
551.3 / M69S