scientific article

zbMATH Open0758.03002MaRDI QIDQ4014783FDOQ4014783

Irving H. Anellis

Publication date: 26 October 1992

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

Recommendations

• scientific article; zbMATH DE number 4012564
• A nucleus of a theorem-prover described inAlgol-68
• Introduction to formal logics. (Introduzione alla logica formale)
• scientific article
• scientific article; zbMATH DE number 837700
• Proof theory. 2nd ed
• Jean van Heijenoort's contributions to proof theory and its history
• scientific article; zbMATH DE number 1169390
• scientific article; zbMATH DE number 1552073
• Pruning the search space and extracting more models in tableaux

zbMATH Keywords

Herbrand's theoremhistory of logicBeth's semantic tableaux

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Proof theory in general (including proof-theoretic semantics) (03F03) History of mathematical logic and foundations (03-03)

Cited In (5)

• N. G. de Bruijn's contribution to the formalization of mathematics
• Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
• Guest editor's introduction: JvH100
• Jean van Heijenoort's conception of modern logic, in historical perspective
• Jean van Heijenoort's contributions to proof theory and its history

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