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.