Education
He received his Doctor of Philosophy degree in 1968 from the University of Wisconsin–Madison under supervision of Stephen Kleene with a dissertation entitled Investigations on the Intuitionistic Propositional Calculus.
He received his Doctor of Philosophy degree in 1968 from the University of Wisconsin–Madison under supervision of Stephen Kleene with a dissertation entitled Investigations on the Intuitionistic Propositional Calculus.
De Jongh is mostly known for his work on proof theory, provability logic and intuitionistic logic. In 2004, on the occasion of his retirement, the Institute for Logic, Language and Computation at the University of Amsterdam published a festschrift in his honor.
Fietsersbond]
De Jongh is a member of the group collectively publishing under the pseudonym L. T. F. Gamut.