Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Intuitionism> . }
Showing items 1 to 16 of
16
with 100 items per page.
- Arend_Heyting subject Category:Intuitionism.
- Brouwer–Hilbert_controversy subject Category:Intuitionism.
- Constructive_analysis subject Category:Intuitionism.
- Constructive_set_theory subject Category:Intuitionism.
- Dialectica_interpretation subject Category:Intuitionism.
- Dirk_van_Dalen subject Category:Intuitionism.
- George_F_C_Griss subject Category:Intuitionism.
- Harrop_formula subject Category:Intuitionism.
- Heyting_arithmetic subject Category:Intuitionism.
- Intuitionism subject Category:Intuitionism.
- Intuitionistic_logic subject Category:Intuitionism.
- Intuitionistic_type_theory subject Category:Intuitionism.
- L._E._J._Brouwer subject Category:Intuitionism.
- Michael_Dummett subject Category:Intuitionism.
- Peirce's_law subject Category:Intuitionism.
- Stephen_Cole_Kleene subject Category:Intuitionism.