Logic and Structure
Įprasta kaina
€61,99
Vieneto kaina
/
Nepasiekiama
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.
Logic and Structure