Pathways of deductions

MaRDI QIDQ3409357zbMATH OpenFDO

Authors

Publication date 13 November 2006

zbMATH Keywords

folding/unfolding of proofs

Mathematics Subject Classification ID

Structure of proofs (03F07) General biology and biomathematics (92B05)

Recommendations

• Pathways of deduction
• Introduction to proof theory
• Theory Is Forever
• On the shape of mathematical arguments
• Remarks on simple proofs

Cited in

(1)

• Pathways of deduction

This page was built for publication: Pathways of deductions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3409357)