LC control no. | n 50012539 |
---|---|
Personal name heading | Troelstra, A. S. (Anne Sjerp) |
Variant(s) | Troelstra, Anne Sjerp |
Found in | His Intuitionistic general topology, 1966. L.E.J Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands). The L.E.J. Brouwer ... 1982: t.p. (A. S. Troelstra, Univ. van Amsterdam) His Lectures on linear logic, 1991: CIP t.p. (A.S. Troelstra) data sheet (b. Aug. 10, 1939) Home page of A.S. Troelstra Web site, June 28, 2005 (A.S. Troelstra; emeritus professor of pure mathematics and foundations of mathematics, Institute of Logic, Language, and Information (ILLC), University of Amsterdam; Anne S. Troelstra; picture of male; CV: Anne Sjerp Troelstra; b. Aug. 10, 1939, Maartensdijk (Utrecht), The Netherlands; June 15, 1966: Doctorate (Ph. D.) in mathematics; retired Sept. 1, 2000) |