
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.
- Forfatter
- Ieke Moerdijk, Jaap van Oosten
- Opplag
- 1st ed. 2018
- ISBN
- 9783319924137
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 6.12.2018
- Antall sider
- 141
