Anne Sjerp Troelstra

URI: https://gptkb.org/entity/Anne_Sjerp_Troelstra

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematician gptkb:person
gptkbp:almaMater	gptkb:University_of_Amsterdam
gptkbp:birthDate	1939-08-10
gptkbp:deathDate	2019-03-07
gptkbp:doctoralAdvisor	gptkb:Arend_Heyting
gptkbp:employer	gptkb:University_of_Amsterdam
gptkbp:field	gptkb:logic gptkb:constructivism proof theory intuitionism
gptkbp:memberOf	gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:nationality	Dutch
gptkbp:notableStudent	gptkb:Ieke_Moerdijk
gptkbp:notableWork	gptkb:Constructivism_in_Mathematics:_An_Introduction gptkb:Metamathematical_Investigation_of_Intuitionistic_Arithmetic_and_Analysis
gptkbp:placeOfBirth	gptkb:Maartensdijk,_Netherlands
gptkbp:placeOfDeath	gptkb:Amsterdam,_Netherlands
gptkbp:bfsParent	gptkb:Ieke_Moerdijk
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	Anne Sjerp Troelstra