bn:01075545n
Noun Concept
Categories: Mathematical logic, Metalogic, Proof theory
EN
proof theory  History of proof theory  Plug and chug  proof-theoretic  proof theorist
EN
Proof theory is a major branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Wikipedia
Definitions
Relations
Sources
EN
Proof theory is a major branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Wikipedia
A branch of mathematical logic Wikipedia Disambiguation