KNAW

Back to search results
Person

Prof.dr. A.S. Troelstra

Pagina-navigatie:


Update Persondata


Export page
Expertise Mathematical logic; Constructivism; Intuitism; Proof theory
Expertise (NL) Mathematische logica; Constructivisme; Intuitionisme; Bewijstheorie
Digital Author ID info:eu-repo/dai/nl/068668724

Active as

Professor emeritus
Organisation Informatics Institute (UvA)
Phone +31-294-261964
Professor emeritus
Organisation Institute for Logic, Language and Computation (UvA)
Chair (EN) Mathematics and the basic of Mathematics
Chair (NL) Zuivere wiskunde en basis van de wiskunde
Phone +31-20-5255298
Email A. S. Troelstra -at- uva. nl
URL http://staff.science.uva.nl/~anne/

Publications

(the most recent at the top)
Waarheid en leugen in het natuurhistorisch reisverhaal
Kolibries in de oren: natuurhistorische reisverhalen 1700-1950
Inleiding
Van Spitsbergen naar Suriname: Nederlandse natuurhistorische reisverhalen
Historische inleiding
All publications..

Completed research projects

(the most recent research is at the top)
Researcher Constructive and intensional logic

Classification

D11100 Logic, set theory and arithmetic
D11500 Geometry, topology

Go to page top
Go back to contents
Go back to site navigation