A. S. Troelstra

URI: https://gptkb.org/entity/A._S._Troelstra

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:awardReceived	gptkb:L._E._J._Brouwer_Medal
gptkbp:birthDate	1939-08-10
gptkbp:birthPlace	gptkb:Maartensdijk,_Netherlands
gptkbp:deathDate	2019-03-07
gptkbp:deathPlace	gptkb:Amsterdam,_Netherlands
gptkbp:doctoralAdvisor	gptkb:Arend_Heyting
gptkbp:employer	gptkb:University_of_Amsterdam
gptkbp:field	gptkb:logic proof theory intuitionism
gptkbp:fullName	gptkb:Anne_Sjerp_Troelstra
gptkbp:language	Dutch English
gptkbp:memberOf	gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:nationality	Dutch
gptkbp:notableWork	gptkb:Basic_Proof_Theory gptkb:Constructivism_in_Mathematics gptkb:Metamathematical_Investigation_of_Intuitionistic_Arithmetic_and_Analysis
gptkbp:occupation	gptkb:mathematician
gptkbp:bfsParent	gptkb:Peter_Freyd
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	A. S. Troelstra