Some historical reflections

MaRDI QIDQ3086769zbMATHFDO

Authors Peter B. Andrews

Publication date 30 March 2011

zbMATH Keywords

higher-order logicHerbrand's Theoremautomated theorem proving system TPS

Mathematics Subject Classification ID

History of computer science (68-03) History of mathematical logic and foundations (03-03) Mechanization of proofs and logical operations (03B35)

Recommendations

• TPS: A theorem-proving system for classical type theory
• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• scientific article; zbMATH DE number 3881899
• scientific article; zbMATH DE number 559187
• scientific article; zbMATH DE number 1860670

Cited in

(3)

• Some Complementary History and Results
• Herbrand Award acceptance speech
• scientific article; zbMATH DE number 3045742 (Why is no real title available?)

Describes a project that uses

Uses Software

• TPS

This page was built for publication: Some historical reflections

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