Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Impredicative> }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Categorical_logic wikiPageWikiLink Impredicative.
- Constructive_set_theory wikiPageWikiLink Impredicative.
- History_of_the_function_concept wikiPageWikiLink Impredicative.
- Inductive_type wikiPageWikiLink Impredicative.
- Intuitionistic_type_theory wikiPageWikiLink Impredicative.
- Large_countable_ordinal wikiPageWikiLink Impredicative.
- List_of_mathematical_logic_topics wikiPageWikiLink Impredicative.
- Morse–Kelley_set_theory wikiPageWikiLink Impredicative.
- New_Foundations wikiPageWikiLink Impredicative.
- Parametric_polymorphism wikiPageWikiLink Impredicative.
- Per_Martin-Löf wikiPageWikiLink Impredicative.
- Impredicative primaryTopic Impredicative.