Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/First-order_arithmetic> }
Showing triples 1 to 11 of
11
with 100 triples per page.
- First-order wikiPageDisambiguates First-order_arithmetic.
- Axiom wikiPageWikiLink First-order_arithmetic.
- Computation_in_the_limit wikiPageWikiLink First-order_arithmetic.
- Creative_and_productive_sets wikiPageWikiLink First-order_arithmetic.
- First-order wikiPageWikiLink First-order_arithmetic.
- Gentzens_consistency_proof wikiPageWikiLink First-order_arithmetic.
- List_of_incomplete_proofs wikiPageWikiLink First-order_arithmetic.
- List_of_mathematical_logic_topics wikiPageWikiLink First-order_arithmetic.
- Primitive_recursive_arithmetic wikiPageWikiLink First-order_arithmetic.
- Tarskis_undefinability_theorem wikiPageWikiLink First-order_arithmetic.
- First-order_arithmetic primaryTopic First-order_arithmetic.