Maths›03. Logic and Foundations13.2 DerivabilityFormal notion of deriving formulas from assumptions, including structural properties and inference behavior.
Maths›03. Logic and FoundationsChapter 13. Formal Proof SystemsSyntax of proofs, derivability, normal forms, consistency proofs, proof length, and proof complexity.