Bøger af Dirk Van Dalen

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 Goedel's famous incompleteness theorem. The discussion of classical logic is concluded with a concise exposition of second-order logic.

Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer belonged to a special class of genius and was one of the key players in topology. This book details of the life and work of this complex and often controversial genius.