I sin populære lærebok "Logic and Structure", som nå foreligger i sin femte utgave, gir Dirk van Dalen en grundig introduksjon til de grunnleggende prinsippene bak klassisk og intuitionistisk logikk, modellteori, samt Gödel's berømte ufullstendighetsteorem. Boken presenterer proposisjonal- og predikatlogikk på en lettfattelig måte ved hjelp av Gentzens naturlige deduksjon. Den tar for seg viktige begreper og fakta innen modellteori, inkludert diskusjoner om kompakthet, Skolem-Löwenheim-teoremet, ikke-standard modeller og kvantifikasjonseliminering. Diskusjonen rundt klassisk logikk avsluttes med en kortfattet fremstilling av andreordens logikk. I lys av den økende anerkjennelsen av konstruktive metoder og prinsipper, utforskes intuitionistisk logikk og Kripke-semantikk nøye. Boken inkluderer også flere spesifikke konstruktive trekk, slik som adskillelse og likhet, Gödel-oversettelse, samt egenskaper knyttet til disjunksjon og eksistens. Det siste kapittelet om Gödel's første ufullstendighetsteorem er selvstendig og gir en systematisk framstilling av dette komplekse emnet.
