The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Troelstra, A. S. (Anne Sjerp)

LC control no.n 50012539
Personal name headingTroelstra, A. S. (Anne Sjerp)
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Troelstra, Anne Sjerp
Found inHis 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)