Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Proof_theory> }
- Grigori_Mints era Proof_theory.
- Rohit_Jivanlal_Parikh knownFor Proof_theory.
- Grigori_Mints mainInterest Proof_theory.
- Jeremy_Avigad mainInterest Proof_theory.
- Grigori_Mints philosophicalSchool Proof_theory.
- Proof wikiPageDisambiguates Proof_theory.
- Proof-theoretic wikiPageRedirects Proof_theory.
- Proof_theorist wikiPageRedirects Proof_theory.
- Admissible_rule wikiPageWikiLink Proof_theory.
- Analytic_proof wikiPageWikiLink Proof_theory.
- Anne_Sjerp_Troelstra wikiPageWikiLink Proof_theory.
- Areas_of_mathematics wikiPageWikiLink Proof_theory.
- Atomic_formula wikiPageWikiLink Proof_theory.
- Axiom_schema_of_replacement wikiPageWikiLink Proof_theory.
- Calculus_ratiocinator wikiPageWikiLink Proof_theory.
- Coherent_space wikiPageWikiLink Proof_theory.
- Combinatory_logic wikiPageWikiLink Proof_theory.
- Computability_theory wikiPageWikiLink Proof_theory.
- Conservative_extension wikiPageWikiLink Proof_theory.
- Consistency wikiPageWikiLink Proof_theory.
- Correctness_(computer_science) wikiPageWikiLink Proof_theory.
- Craig_interpolation wikiPageWikiLink Proof_theory.
- Curry–Howard_correspondence wikiPageWikiLink Proof_theory.
- Cut-elimination_theorem wikiPageWikiLink Proof_theory.
- Dag_Prawitz wikiPageWikiLink Proof_theory.
- David_Hilbert wikiPageWikiLink Proof_theory.
- Dialectica_interpretation wikiPageWikiLink Proof_theory.
- Dick_de_Jongh wikiPageWikiLink Proof_theory.
- Discrete_mathematics wikiPageWikiLink Proof_theory.
- Double-negation_translation wikiPageWikiLink Proof_theory.
- Effective_results_in_number_theory wikiPageWikiLink Proof_theory.
- Elementary_function_arithmetic wikiPageWikiLink Proof_theory.
- Extension_by_definitions wikiPageWikiLink Proof_theory.
- Fast-growing_hierarchy wikiPageWikiLink Proof_theory.
- First-order_logic wikiPageWikiLink Proof_theory.
- Formal_language wikiPageWikiLink Proof_theory.
- Formal_proof wikiPageWikiLink Proof_theory.
- Formation_rule wikiPageWikiLink Proof_theory.
- Frege_system wikiPageWikiLink Proof_theory.
- Gaisi_Takeuti wikiPageWikiLink Proof_theory.
- Gentzens_consistency_proof wikiPageWikiLink Proof_theory.
- Georg_Kreisel wikiPageWikiLink Proof_theory.
- George_Boolos wikiPageWikiLink Proof_theory.
- Gerhard_Gentzen wikiPageWikiLink Proof_theory.
- Glossary_of_areas_of_mathematics wikiPageWikiLink Proof_theory.
- Grigori_Mints wikiPageWikiLink Proof_theory.
- Gxc3xb6dels_completeness_theorem wikiPageWikiLink Proof_theory.
- Gxc3xb6dels_incompleteness_theorems wikiPageWikiLink Proof_theory.
- Hardy_hierarchy wikiPageWikiLink Proof_theory.
- Hilberts_program wikiPageWikiLink Proof_theory.
- Hilberts_twenty-fourth_problem wikiPageWikiLink Proof_theory.
- History_of_logic wikiPageWikiLink Proof_theory.
- Hybrid_logic wikiPageWikiLink Proof_theory.
- If_and_only_if wikiPageWikiLink Proof_theory.
- Independence_of_premise wikiPageWikiLink Proof_theory.
- Index_of_logic_articles wikiPageWikiLink Proof_theory.
- Index_of_philosophy_articles_(I–Q) wikiPageWikiLink Proof_theory.
- Ivan_Śleszyński wikiPageWikiLink Proof_theory.
- Ivor_Grattan-Guinness wikiPageWikiLink Proof_theory.
- Jacques_Herbrand wikiPageWikiLink Proof_theory.
- Jean-Yves_Girard wikiPageWikiLink Proof_theory.
- Jeremy_Avigad wikiPageWikiLink Proof_theory.
- Johan_van_Benthem_(logician) wikiPageWikiLink Proof_theory.
- John_Corcoran_(logician) wikiPageWikiLink Proof_theory.
- Kurt_Gödel wikiPageWikiLink Proof_theory.
- Kurt_Schütte wikiPageWikiLink Proof_theory.
- Kxc3xb6nigs_lemma wikiPageWikiLink Proof_theory.
- Lambda-mu_calculus wikiPageWikiLink Proof_theory.
- Lambda_calculus wikiPageWikiLink Proof_theory.
- Large_countable_ordinal wikiPageWikiLink Proof_theory.
- Laws_of_Form wikiPageWikiLink Proof_theory.
- Linear_logic wikiPageWikiLink Proof_theory.
- Liskov_substitution_principle wikiPageWikiLink Proof_theory.
- List_of_mathematical_theories wikiPageWikiLink Proof_theory.
- List_of_multiple_discoveries wikiPageWikiLink Proof_theory.
- List_of_theorems wikiPageWikiLink Proof_theory.
- Literal_(mathematical_logic) wikiPageWikiLink Proof_theory.
- Logic wikiPageWikiLink Proof_theory.
- Logical_consequence wikiPageWikiLink Proof_theory.
- Ludics wikiPageWikiLink Proof_theory.
- Martin_Hyland wikiPageWikiLink Proof_theory.
- Martin_Löb wikiPageWikiLink Proof_theory.
- Mathematical_logic wikiPageWikiLink Proof_theory.
- Mathematical_proof wikiPageWikiLink Proof_theory.
- Mathematics wikiPageWikiLink Proof_theory.
- Mathematics_Subject_Classification wikiPageWikiLink Proof_theory.
- Meaning_(philosophy_of_language) wikiPageWikiLink Proof_theory.
- Meta-ethics wikiPageWikiLink Proof_theory.
- Metalogic wikiPageWikiLink Proof_theory.
- Metamathematics wikiPageWikiLink Proof_theory.
- Metatheorem wikiPageWikiLink Proof_theory.
- Method_of_analytic_tableaux wikiPageWikiLink Proof_theory.
- Model_theory wikiPageWikiLink Proof_theory.
- Natural_deduction wikiPageWikiLink Proof_theory.
- Neats_vs._scruffies wikiPageWikiLink Proof_theory.
- Objections_to_evolution wikiPageWikiLink Proof_theory.
- Ordinal_analysis wikiPageWikiLink Proof_theory.
- Outline_of_academic_disciplines wikiPageWikiLink Proof_theory.
- Outline_of_logic wikiPageWikiLink Proof_theory.
- Outline_of_mathematics wikiPageWikiLink Proof_theory.