Pathways of deduction

MaRDI QIDQ5384902zbMATH OpenFDO

Authors

Publication date 29 April 2008

zbMATH Keywords

biological systemsproof structure

Mathematics Subject Classification ID

Structure of proofs (03F07) General biology and biomathematics (92B05) Biochemistry, molecular biology (92C40)

Recommendations

• Pathways of deductions
• Adding logic to the toolbox of molecular biology
• scientific article; zbMATH DE number 4130215
• Reshaping the metaphor of proof
• Mathematics and complex systems

Cited in

(3)

• The role of theorem proving in systems biology
• The life and survival of mathematical ideas
• Pathways of deductions

This page was built for publication: Pathways of deduction

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