Logic and Structure
Dirk van Dalen
Springer London Ltd, 2012
93,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9781447145578
- ISBN-10
- 1447145577
- Publisher
- Springer London Ltd
- Year
- 2012
- Publication date
- 2012-11-13
- Pages
- 263
- Dimensions
- 231x149x16
- Weight
- 442