Education
University of Amsterdam.
University of Amsterdam.
He is a constructivist logician, who has been influential in the development of intuitionistic logic. With Georg Kreisel, he was a developer of the theory of choice sequences. He also wrote one of the first texts on linear logic, and with H. Schwichtenberg he co-wrote an important book on proof theory.