Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Anne_Sjerp_Troelstra> ?p ?o }
- Anne_Sjerp_Troelstra abstract "Anne Sjerp Troelstra (born 10 August 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.He became a member of the Royal Netherlands Academy of Arts and Sciences in 1976.".
- 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 wikiPageExternalLink a.s.troelstra.html.
- Anne_Sjerp_Troelstra wikiPageID "15067195".
- Anne_Sjerp_Troelstra wikiPageLength "3555".
- Anne_Sjerp_Troelstra wikiPageOutDegree "31".
- Anne_Sjerp_Troelstra wikiPageRevisionID "704974839".
- Anne_Sjerp_Troelstra wikiPageWikiLink Arend_Heyting.
- Anne_Sjerp_Troelstra wikiPageWikiLink Category:1939_births.
- Anne_Sjerp_Troelstra wikiPageWikiLink Category:Dutch_mathematicians.
- Anne_Sjerp_Troelstra wikiPageWikiLink Category:Living_people.
- Anne_Sjerp_Troelstra wikiPageWikiLink Category:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Anne_Sjerp_Troelstra wikiPageWikiLink Category:People_from_De_Bilt.
- Anne_Sjerp_Troelstra wikiPageWikiLink Category:University_of_Amsterdam_alumni.
- Anne_Sjerp_Troelstra wikiPageWikiLink Category:University_of_Amsterdam_faculty.
- Anne_Sjerp_Troelstra wikiPageWikiLink Choice_sequence.
- Anne_Sjerp_Troelstra wikiPageWikiLink Constructivism_(mathematics).
- Anne_Sjerp_Troelstra wikiPageWikiLink Daniel_Leivant.
- Anne_Sjerp_Troelstra wikiPageWikiLink Emeritus.
- Anne_Sjerp_Troelstra wikiPageWikiLink Foundations_of_mathematics.
- Anne_Sjerp_Troelstra wikiPageWikiLink Georg_Kreisel.
- Anne_Sjerp_Troelstra wikiPageWikiLink Ieke_Moerdijk.
- Anne_Sjerp_Troelstra wikiPageWikiLink Institute_for_Logic,_Language_and_Computation.
- Anne_Sjerp_Troelstra wikiPageWikiLink Intuitionistic_logic.
- Anne_Sjerp_Troelstra wikiPageWikiLink Laurina_Verbrugge.
- Anne_Sjerp_Troelstra wikiPageWikiLink Linear_logic.
- Anne_Sjerp_Troelstra wikiPageWikiLink Logic.
- Anne_Sjerp_Troelstra wikiPageWikiLink Maartensdijk.
- Anne_Sjerp_Troelstra wikiPageWikiLink Marc_Bezem.
- Anne_Sjerp_Troelstra wikiPageWikiLink Mathematics.
- Anne_Sjerp_Troelstra wikiPageWikiLink Proof_theory.
- Anne_Sjerp_Troelstra wikiPageWikiLink Pure_mathematics.
- Anne_Sjerp_Troelstra wikiPageWikiLink Royal_Netherlands_Academy_of_Arts_and_Sciences.
- Anne_Sjerp_Troelstra wikiPageWikiLink University_of_Amsterdam.
- Anne_Sjerp_Troelstra wikiPageWikiLink Utrecht_(province).
- Anne_Sjerp_Troelstra wikiPageWikiLinkText "Anne Sjerp Troelstra".
- Anne_Sjerp_Troelstra wikiPageWikiLinkText "Troelstra, A. S.".
- Anne_Sjerp_Troelstra wikiPageWikiLinkText "Troelstra, Anne Sjerp".
- 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 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 wikiPageUsesTemplate Template:Authority_control.
- Anne_Sjerp_Troelstra wikiPageUsesTemplate Template:Birth_date_and_age.
- Anne_Sjerp_Troelstra wikiPageUsesTemplate Template:Europe-mathematician-stub.
- Anne_Sjerp_Troelstra wikiPageUsesTemplate Template:Infobox_scientist.
- Anne_Sjerp_Troelstra wikiPageUsesTemplate Template:MathGenealogy.
- Anne_Sjerp_Troelstra wikiPageUsesTemplate Template:Netherlands-scientist-stub.
- Anne_Sjerp_Troelstra wikiPageUsesTemplate Template:Persondata.
- 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:Members_of_the_Royal_Netherlands_Academy_of_Arts_and_Sciences.
- 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 hypernym Professor.
- Anne_Sjerp_Troelstra type Agent.
- Anne_Sjerp_Troelstra type List.
- Anne_Sjerp_Troelstra type Person.
- Anne_Sjerp_Troelstra type Scientist.
- Anne_Sjerp_Troelstra type Person.
- Anne_Sjerp_Troelstra type List.
- Anne_Sjerp_Troelstra type Mathematician.
- Anne_Sjerp_Troelstra type Scientist.
- Anne_Sjerp_Troelstra type Agent.
- Anne_Sjerp_Troelstra type NaturalPerson.
- Anne_Sjerp_Troelstra type Thing.
- Anne_Sjerp_Troelstra type Q215627.
- Anne_Sjerp_Troelstra type Q5.
- Anne_Sjerp_Troelstra type Q901.
- Anne_Sjerp_Troelstra type Person.
- Anne_Sjerp_Troelstra comment "Anne Sjerp Troelstra (born 10 August 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".