
Logic and Structure
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. The discussion of classical logic is concluded with a concise exposition of second-order logic.
- Kirjailija
- Dirk van Dalen
- Painos
- 5th ed. 2013
- ISBN
- 9781447145578
- Kieli
- englanti
- Paino
- 310 grammaa
- Sarja
- Universitext
- Julkaisupäivä
- 13.11.2012
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 263