Maths›03. Logic and FoundationsChapter 13. Formal Proof SystemsSyntax of proofs, derivability, normal forms, consistency proofs, proof length, and proof complexity.