Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Anne_Sjerp_Troelstra> }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Ieke_Moerdijk doctoralAdvisor Anne_Sjerp_Troelstra.
- Arend_Heyting doctoralStudent Anne_Sjerp_Troelstra.
- Troelstra wikiPageDisambiguates Anne_Sjerp_Troelstra.
- A._S._Troelstra wikiPageRedirects Anne_Sjerp_Troelstra.
- Anne_S._Troelstra wikiPageRedirects Anne_Sjerp_Troelstra.
- Anne_Troelstra wikiPageRedirects Anne_Sjerp_Troelstra.
- A._S._Troelstra wikiPageWikiLink Anne_Sjerp_Troelstra.
- Anne_S._Troelstra wikiPageWikiLink Anne_Sjerp_Troelstra.
- Anne_Troelstra wikiPageWikiLink Anne_Sjerp_Troelstra.
- Arend_Heyting wikiPageWikiLink Anne_Sjerp_Troelstra.
- Bar_induction wikiPageWikiLink Anne_Sjerp_Troelstra.
- Constructive_proof wikiPageWikiLink Anne_Sjerp_Troelstra.
- Constructivism_(mathematics) wikiPageWikiLink Anne_Sjerp_Troelstra.
- Disjunction_and_existence_properties wikiPageWikiLink Anne_Sjerp_Troelstra.
- Double-negation_translation wikiPageWikiLink Anne_Sjerp_Troelstra.
- Foundations_of_mathematics wikiPageWikiLink Anne_Sjerp_Troelstra.
- Ieke_Moerdijk wikiPageWikiLink Anne_Sjerp_Troelstra.
- Institute_for_Logic,_Language_and_Computation wikiPageWikiLink Anne_Sjerp_Troelstra.
- Linear_logic wikiPageWikiLink Anne_Sjerp_Troelstra.
- List_of_logicians wikiPageWikiLink Anne_Sjerp_Troelstra.
- List_of_mathematicians_(T) wikiPageWikiLink Anne_Sjerp_Troelstra.
- Logics_for_computability wikiPageWikiLink Anne_Sjerp_Troelstra.
- Proof_theory wikiPageWikiLink Anne_Sjerp_Troelstra.
- Troelstra wikiPageWikiLink Anne_Sjerp_Troelstra.
- Ultrafinitism wikiPageWikiLink Anne_Sjerp_Troelstra.
- Ieke_Moerdijk doctoralAdvisor Anne_Sjerp_Troelstra.
- Arend_Heyting doctoralStudents Anne_Sjerp_Troelstra.
- 4881 isCitedBy Anne_Sjerp_Troelstra.
- books?vid=ISBN0-19-823516-X isCitedBy Anne_Sjerp_Troelstra.
- 2275616 isCitedBy Anne_Sjerp_Troelstra.
- 2586674 isCitedBy Anne_Sjerp_Troelstra.
- Anne_Sjerp_Troelstra primaryTopic Anne_Sjerp_Troelstra.