Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Anne_Sjerp_Troelstra> ?p ?o. }
Showing items 1 to 82 of
82
with 100 items per page.
- Anne_Sjerp_Troelstra abstract "Anne Sjerp Troelstra (born August 10, 1939) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. He is a constructivist logician, who has been influential in the development of intuitionistic logic. With Georg Kreisel, he was a developer of the theory of choice sequences. He also wrote one of the first texts on linear logic, and with H. Schwichtenberg he co-wrote an important book on proof theory.".
- Anne_Sjerp_Troelstra almaMater University_of_Amsterdam.
- Anne_Sjerp_Troelstra birthDate "1939-08-10".
- Anne_Sjerp_Troelstra birthPlace Maartensdijk.
- Anne_Sjerp_Troelstra birthPlace Utrecht_(province).
- Anne_Sjerp_Troelstra birthYear "1939".
- Anne_Sjerp_Troelstra doctoralAdvisor Arend_Heyting.
- Anne_Sjerp_Troelstra doctoralStudent Daniel_Leivant.
- Anne_Sjerp_Troelstra doctoralStudent Ieke_Moerdijk.
- Anne_Sjerp_Troelstra doctoralStudent Laurina_Verbrugge.
- Anne_Sjerp_Troelstra doctoralStudent Marc_Bezem.
- Anne_Sjerp_Troelstra field Mathematics.
- Anne_Sjerp_Troelstra viafId "44365390".
- Anne_Sjerp_Troelstra wikiPageExternalLink a.s.troelstra.html.
- Anne_Sjerp_Troelstra wikiPageID "15067195".
- Anne_Sjerp_Troelstra wikiPageRevisionID "579642649".
- Anne_Sjerp_Troelstra almaMater "University of Amsterdam".
- Anne_Sjerp_Troelstra birthDate "1939-08-10".
- Anne_Sjerp_Troelstra birthPlace Maartensdijk.
- Anne_Sjerp_Troelstra birthPlace Utrecht_(province).
- Anne_Sjerp_Troelstra dateOfBirth "1939-08-10".
- Anne_Sjerp_Troelstra doctoralAdvisor Arend_Heyting.
- Anne_Sjerp_Troelstra doctoralStudents Daniel_Leivant.
- Anne_Sjerp_Troelstra doctoralStudents Ieke_Moerdijk.
- Anne_Sjerp_Troelstra doctoralStudents Laurina_Verbrugge.
- Anne_Sjerp_Troelstra doctoralStudents Marc_Bezem.
- Anne_Sjerp_Troelstra fields Mathematics.
- Anne_Sjerp_Troelstra hasPhotoCollection Anne_Sjerp_Troelstra.
- Anne_Sjerp_Troelstra name "Anne Sjerp Troelstra".
- Anne_Sjerp_Troelstra name "Troelstra, A. S.".
- Anne_Sjerp_Troelstra nationality "Dutch".
- Anne_Sjerp_Troelstra placeOfBirth Maartensdijk.
- Anne_Sjerp_Troelstra placeOfBirth Utrecht_(province).
- Anne_Sjerp_Troelstra shortDescription "Dutch mathematician".
- Anne_Sjerp_Troelstra workplaces University_of_Amsterdam.
- Anne_Sjerp_Troelstra description "Dutch mathematician".
- Anne_Sjerp_Troelstra description "Dutch mathematician".
- Anne_Sjerp_Troelstra subject Category:1939_births.
- Anne_Sjerp_Troelstra subject Category:Dutch_mathematicians.
- Anne_Sjerp_Troelstra subject Category:Living_people.
- Anne_Sjerp_Troelstra subject Category:People_from_De_Bilt.
- Anne_Sjerp_Troelstra subject Category:University_of_Amsterdam_alumni.
- Anne_Sjerp_Troelstra subject Category:University_of_Amsterdam_faculty.
- Anne_Sjerp_Troelstra type CausalAgent100007347.
- Anne_Sjerp_Troelstra type DutchMathematicians.
- Anne_Sjerp_Troelstra type LivingPeople.
- Anne_Sjerp_Troelstra type LivingThing100004258.
- Anne_Sjerp_Troelstra type Mathematician110301261.
- Anne_Sjerp_Troelstra type Object100002684.
- Anne_Sjerp_Troelstra type Organism100004475.
- Anne_Sjerp_Troelstra type PeopleFromDeBilt.
- Anne_Sjerp_Troelstra type Person100007846.
- Anne_Sjerp_Troelstra type PhysicalEntity100001930.
- Anne_Sjerp_Troelstra type Scientist110560637.
- Anne_Sjerp_Troelstra type Whole100003553.
- Anne_Sjerp_Troelstra type YagoLegalActor.
- Anne_Sjerp_Troelstra type YagoLegalActorGeo.
- Anne_Sjerp_Troelstra type Agent.
- Anne_Sjerp_Troelstra type Person.
- Anne_Sjerp_Troelstra type Scientist.
- Anne_Sjerp_Troelstra type Person.
- Anne_Sjerp_Troelstra type Q215627.
- Anne_Sjerp_Troelstra type Q5.
- Anne_Sjerp_Troelstra type Agent.
- Anne_Sjerp_Troelstra type NaturalPerson.
- Anne_Sjerp_Troelstra type Thing.
- Anne_Sjerp_Troelstra type Person.
- Anne_Sjerp_Troelstra comment "Anne Sjerp Troelstra (born August 10, 1939) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. He is a constructivist logician, who has been influential in the development of intuitionistic logic. With Georg Kreisel, he was a developer of the theory of choice sequences. He also wrote one of the first texts on linear logic, and with H.".
- Anne_Sjerp_Troelstra label "Anne Sjerp Troelstra".
- Anne_Sjerp_Troelstra label "Anne Troelstra".
- Anne_Sjerp_Troelstra sameAs Anne_Troelstra.
- Anne_Sjerp_Troelstra sameAs m.058ryz.
- Anne_Sjerp_Troelstra sameAs Q565846.
- Anne_Sjerp_Troelstra sameAs Q565846.
- Anne_Sjerp_Troelstra sameAs Anne_Sjerp_Troelstra.
- Anne_Sjerp_Troelstra wasDerivedFrom Anne_Sjerp_Troelstra?oldid=579642649.
- Anne_Sjerp_Troelstra givenName "A. S.".
- Anne_Sjerp_Troelstra isPrimaryTopicOf Anne_Sjerp_Troelstra.
- Anne_Sjerp_Troelstra name "A. S. Troelstra".
- Anne_Sjerp_Troelstra name "Anne Sjerp Troelstra".
- Anne_Sjerp_Troelstra name "Troelstra, A. S.".
- Anne_Sjerp_Troelstra surname "Troelstra".