Definition
Proof Theory
Proof Theory is a branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical object, facilitating their analysis by mathematical techniques.
Proof Theory
Proof Theory is a branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical object, facilitating their analysis by mathematical techniques.