Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Arend_Heyting> }
Showing triples 1 to 49 of
49
with 100 triples per page.
- Anne_Sjerp_Troelstra doctoralAdvisor Arend_Heyting.
- L._E._J._Brouwer doctoralStudent Arend_Heyting.
- A._Heyting wikiPageRedirects Arend_Heyting.
- Arend_heyting wikiPageRedirects Arend_Heyting.
- Heyting wikiPageRedirects Arend_Heyting.
- A._Heyting wikiPageWikiLink Arend_Heyting.
- Anne_Sjerp_Troelstra wikiPageWikiLink Arend_Heyting.
- Arend_(given_name) wikiPageWikiLink Arend_Heyting.
- Arend_heyting wikiPageWikiLink Arend_Heyting.
- Begriffsschrift wikiPageWikiLink Arend_Heyting.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Arend_Heyting.
- Brouwer–Hilbert_controversy wikiPageWikiLink Arend_Heyting.
- Constructivism_(mathematics) wikiPageWikiLink Arend_Heyting.
- Curry–Howard_correspondence wikiPageWikiLink Arend_Heyting.
- Dirk_van_Dalen wikiPageWikiLink Arend_Heyting.
- George_F_C_Griss wikiPageWikiLink Arend_Heyting.
- Giorgi_Japaridze wikiPageWikiLink Arend_Heyting.
- Heyting wikiPageWikiLink Arend_Heyting.
- Heyting_arithmetic wikiPageWikiLink Arend_Heyting.
- Hilberts_problems wikiPageWikiLink Arend_Heyting.
- History_of_logic wikiPageWikiLink Arend_Heyting.
- History_of_mathematical_notation wikiPageWikiLink Arend_Heyting.
- Institute_for_Logic,_Language_and_Computation wikiPageWikiLink Arend_Heyting.
- Intuition wikiPageWikiLink Arend_Heyting.
- Intuitionism wikiPageWikiLink Arend_Heyting.
- Intuitionistic_logic wikiPageWikiLink Arend_Heyting.
- Intuitionistic_type_theory wikiPageWikiLink Arend_Heyting.
- L._E._J._Brouwer wikiPageWikiLink Arend_Heyting.
- Law_of_excluded_middle wikiPageWikiLink Arend_Heyting.
- List_of_Dutch_inventions_and_discoveries wikiPageWikiLink Arend_Heyting.
- List_of_Dutch_people wikiPageWikiLink Arend_Heyting.
- List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers wikiPageWikiLink Arend_Heyting.
- List_of_logicians wikiPageWikiLink Arend_Heyting.
- List_of_mathematicians_(H) wikiPageWikiLink Arend_Heyting.
- List_of_mathematicians_born_in_the_19th_century wikiPageWikiLink Arend_Heyting.
- Logic wikiPageWikiLink Arend_Heyting.
- Logical_connective wikiPageWikiLink Arend_Heyting.
- Natural_deduction wikiPageWikiLink Arend_Heyting.
- Non-standard_analysis wikiPageWikiLink Arend_Heyting.
- Oskar_Becker wikiPageWikiLink Arend_Heyting.
- Philosophy_of_mathematics wikiPageWikiLink Arend_Heyting.
- Principle_of_bivalence wikiPageWikiLink Arend_Heyting.
- Problem_of_future_contingents wikiPageWikiLink Arend_Heyting.
- Pseudo-order wikiPageWikiLink Arend_Heyting.
- Scientific_phenomena_named_after_people wikiPageWikiLink Arend_Heyting.
- Timeline_of_category_theory_and_related_mathematics wikiPageWikiLink Arend_Heyting.
- Anne_Sjerp_Troelstra doctoralAdvisor Arend_Heyting.
- L._E._J._Brouwer doctoralStudents Arend_Heyting.
- Arend_Heyting primaryTopic Arend_Heyting.