Anne Sjerp Troelstra [SEP] educated at
Anne Sjerp Troelstra
Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
He was a constructivist logician, who was influential in the development of intuitionistic logic With Georg Kreisel, he was a developer of the theory of choice sequences. He wrote one of the first texts on linear logic, and, with Helmut Schwichtenberg, he co-wrote an important book on
Troelstra
Troelstra is the surname of:
- Pieter Jelles Troelstra (1860—1930), Dutch socialist politician
- Anne Sjerp Troelstra (1939—2019), Dutch mathematician