scientific article; zbMATH DE number 69315

MaRDI QIDQ4014783zbMATH OpenFDO

Authors Irving H. Anellis

Publication date 26 October 1992

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)

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; zbMATH DE number 193652
• 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

Cited in

(5)

• Jean van Heijenoort's contributions to proof theory and its history
• 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

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)