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...
| Main Author: | Moerdijk, Ieke, |
|---|---|
| Other Authors: | Oosten, Jaap van,, SpringerLink (Online Service) |
| Format: | eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2018.
|
| Physical Description: |
1 online resource (xiv, 141 pages : illustrations) |
| Series: |
Springer undergraduate mathematics series.
|
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |