Some historical reflections

zbMATH Open1226.03002MaRDI QIDQ3086769FDOQ3086769

Authors: Peter B. Andrews 

Publication date: 30 March 2011

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

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)

Cited In (3)

• Herbrand Award acceptance speech
• Some Complementary History and Results
• Title not available (Why is that?)

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)