380-proof-theory

Argument-deduction-proof distinctionsDirect proofMathematical inductionMathematical inductionMathematical proofNatural deductionNatural deductionProof by inductionProof by inductionproof-calculusProof TheoryStructural inductionSystem LProof theory
PreviousExamples of predicate formulaeNextArgument-deduction-proof distinctions

Last updated

Was this helpful?