scientific article; zbMATH DE number 1040355

MaRDI QIDQ4345945zbMATH OpenFDO

Authors James Mark Baldwin

Publication date 28 July 1997

zbMATH Keywords

early computing devicesmechanization of reasoning

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03) History of computer science (68-03)

Recommendations

• scientific article; zbMATH DE number 1040354
• scientific article; zbMATH DE number 7574157
• Mechanizing logic. I: Map logic extended formally to relational arguments
• scientific article; zbMATH DE number 5205481

Cited in

(2)

• scientific article; zbMATH DE number 1040354 (Why is no real title available?)
• Machine Deduction

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 Q4345945)