 |
|
|||||||||||||||||
A. S. TroelstraAnne 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 linksHome page of A. S. Troelstra. [1] The contents of this article are licensed from Wikipedia.org under the GNU Free Documentation License.
How to see transparent copy 01-04-2007 01:21:04 |
|
