scientific article; zbMATH DE number 4125356

MaRDI QIDQ4205404zbMATH OpenFDO

Authors Michael Beeson

Publication date 1988

zbMATH Keywords

automated deductionBooleFregePeanoLeibnizRobinsoncomputerized mathematics

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• Computer Science Logic
• Logics, mathematics, automatic deduction
• The metamorphoses of the calculus. An amazing history of mathematics
• Computer theorem proving in mathematics
• Proving and programming

Cited in

(6)

• Computer Science Logic
• scientific article; zbMATH DE number 4115950 (Why is no real title available?)
• scientific article; zbMATH DE number 1342253 (Why is no real title available?)
• Logics, mathematics, automatic deduction
• scientific article; zbMATH DE number 1964695 (Why is no real title available?)
• The Logical Structure of Computer-Aided Mathematical Reasoning

This page was built for publication:

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