Proof theory
type: AcademicSubject
label: Théorie de la démonstration @fr
label: Bewijstheorie @nl
label: Pruvteorio @eo
label: Teoria de la demostració @ca
label: 증명 이론 @ko
label: Beweistheorie @de
label: Teoría de la demostración @es
label: 証明論 @ja
label: نظرية البرهان @ar
label: Teoria dowodu @pl
label: Teoria da prova @pt
label: Теорія доведення @uk
label: Teoria della dimostrazione @it
label: Bevisteori @sv
label: 证明论 @zh
label: Теория доказательств @ru
subject: Category:Metalogic
subject: Category:Proof theory
subject: Category:Mathematical logic
id: p/p075430
description: rama de la lógica matemática @es
description: သင်္ချာယုတ္တိဗေဒ၏ ဘာသာခွဲတစ်ခု @my
description: fako de matematika logiko @eo
description: গাণিতিক যুক্তির শাখা @bn
description: Deelgebitt vun der Mathematescher Logik @lb
description: dział logiki matematycznej @pl
description: раздел математической логики @ru
description: branch of mathematical logic
description: ramură a logicii matematice @ro
description: matemaatilise loogika valdkond @et
description: branche de la logique mathématique @fr
description: ענף בלוגיקה מתמטית @iw
description: Teilgebiet der mathematischen Logik @de
description: 数理論理学の一分野であり、証明を数学的対象として形式的に表して数学的解析を施す分野 @ja
wiki page external link: http://plato.stanford.edu/entries/proof-theory-development/
wiki page external link: http://www.andrew.cmu.edu/user/avigad/Papers/infinite.pdf
wiki page external link: https://www.irif.fr/~mellies/mpri/mpri-ens/biblio/proofs-and-types.pdf
wiki page external link: https://books.google.com/books%3Fhl=en&lr=&id=MfTMDeCq7ukC&oi=fnd&pg=PP1&dq=%22Handbook+of+Proof+Theory%22&ots=LfJuyY2Fel&sig=jbYv39Cl_viSaVkHIjDF7q4e6K4%23v=onepage&q=%22Handbook%20of%20Proof%20Theor…
wiki page external link: https://www.jstor.org/stable/20009142
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Zorn's_lemma
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Intuitionistic_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Theory_(mathematical_logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Rule_of_inference
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Reverse_mathematics
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Model_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Natural_deduction
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Peer_review
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Linguistics
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Analytic_proof
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Intermediate_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Solomon_Feferman
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Formal_semantics_(logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Cut-elimination_theorem
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Alan_Turing
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Löb's_theorem
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Richard_Dedekind
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Tree_(data_structure)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Substructural_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Grundlagen_der_Mathematik
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Axiom_of_choice
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Predicate_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Proof_net
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Bertrand_Russell
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Focused_proof
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Real_number
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Peano_arithmetic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Mathematical_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Recursive_data_type
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Jan_Łukasiewicz
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Provability_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Ω-consistent_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Sequent_calculus
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Category:Proof_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Automated_theorem_proving
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Van_Nostrand_(publisher)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Typed_lambda_calculus
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Hao_Wang_(academic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Data_structures