A. S. Troelstra
From Wikipedia, the free encyclopedia
Anne Sjerp Troelstra (born August 10, 1939 at Maartensdijk (Utrecht), The Netherlands) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. He is a constructivist logician.
[edit] External links
 |
This article about a mathematician is a stub. You can help Wikipedia by expanding it. |
 |
This article about a person from the Netherlands is a stub. You can help Wikipedia by expanding it. |
