Loogika ja struktuur
Dirk van Daleni populaarne õpik „Loogika ja struktuur”, mis on nüüd oma viiendas trükis, annab põhjaliku sissejuhatuse klassikalise ja intuitsionistliku loogika, mudeliteooria ja Gödeli kuulsa mittetäielikkuse teoreemi põhitõdedesse. Klassikalise loogika arutelu lõpeb teist järku loogika kokkuvõtliku esitusega.
