Logics, mathematics, automatic deduction

zbMATH Open1107.03012MaRDI QIDQ3369839FDOQ3369839

Authors: Manuel Ojeda-Aciego 

Publication date: 6 February 2006

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

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)

Cited In (5)

• Title not available (Why is that?)
• Automated deduction
• Computational logic: its origins and applications
• Logic between expressivity and complexity
• Title not available (Why is that?)

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)