Sets, Models and Proofs

by Ieke Moerdijk and Jaap van Oosten

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.

The authors start with an exposition of set theory and the axiom of choice as used in everyday...

• Format: Paperback
• Language: English
• ISBN: 3319924133
• ISBN13: 9783319924137
• Release Date: December 2018
• Publisher: Springer
• Length: 141 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"