Anne Sjerp Troelstra, born in 1939 at Maartensdijk (Utrecht), The Netherlands, is Emeritus professor of pure mathematics and foundations of mathematics at the Institute of Logic, Language and Information (ILLC) of the University of Amsterdam. He is a constructivist logician.
External links
Home page of A. S. Troelstra. [1]
Last updated: 10-12-2005 09:08:43
