Logic and structure
Auteur :
van Dalen, Dirk
Éditeur :
Springer London Ltd
ISBN :
9781447145578
Date de publication :
13 nov. 2012
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.