
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.
- Kirjailija
- Ieke Moerdijk, Jaap van Oosten
- Painos
- 1st ed. 2018
- ISBN
- 9783319924137
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 6.12.2018
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 141