Biografia Nel 1968 conseguì il dottorato presso l'Università del Wisconsin-Madison con una dissertazione intitolata Investigations on the Intuitionistic Propositional Calculus (Indagini sul calcolo intuizionistico proposizionale), supervisionata da Stephen Kleene.
De Jongh è noto principalmente per le sue opere sulla teoria della dimostrazione, la logica dimostrativa e la logica intuizionistica.
È membro di un gruppo di logici che si firma collettivamente con lo pseudonimo di L. T. F. Gamut.Prefazione a Logic, Language and Meaning, a cura di L. T. F. Gamut, University of Chicago Press, 1991.
In occasione del suo pensionamento nel 1994, l'Istituto per la Logica, il Linguaggio e il Calcolo dell'Università di Amsterdam pubblicò un festschrift in suo onore..
Note
Collegamenti esterni