Dick de Jongh
From Wikipedia, the free encyclopedia
Dick de Jongh (born 1939) is a Dutch logician and mathematician. He received his PhD 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.