Logics, mathematics, automatic deduction

MaRDI QIDQ3369839zbMATH OpenFDO

Authors Manuel Ojeda-Aciego

Publication date 6 February 2006

zbMATH Keywords

computational logicautomated deductioninfinitesimal calculushistorical overview

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Mechanization of proofs and logical operations (03B35) Nonstandard models in mathematics (03H05)

Recommendations

• The great formal machinery works. Theories of deduction and computation at the origins of the digital age
• Computational logic: its origins and applications
• Formal proof -- theory and practice
• Publication:4205404
• Publication:4941841

Cited in

(5)

• Logic between expressivity and complexity
• scientific article; zbMATH DE number 4125356 (Why is no real title available?)
• Automated deduction
• scientific article; zbMATH DE number 1696784 (Why is no real title available?)
• Computational logic: its origins and applications

This page was built for publication: Logics, mathematics, automatic deduction

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