
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.
- Författare
- Ieke Moerdijk, Jaap van Oosten
- Upplaga
- 1st ed. 2018
- ISBN
- 9783319924137
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2018-12-06
- Sidor
- 141