A. S. Troelstra
From Freepedia
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 of Logic, Language and Information (ILLC) of the University of Amsterdam. He is a constructivist logician.
External links
