scientific article; zbMATH DE number 4125356

zbMATH Open0687.01012MaRDI QIDQ4205404FDOQ4205404

Authors: Michael Beeson 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Title not available (Why is that?)
• Logics, mathematics, automatic deduction
• Title not available (Why is that?)
• The Logical Structure of Computer-Aided Mathematical Reasoning
• Title not available (Why is that?)
• Computer Science Logic

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)