Proof Theory, also known as proof-theoretic semantics, is a central branch of mathematical logic that examines the structure of mathematical proofs. Not mere...
View in Alexandria