scientific article; zbMATH DE number 559187

MaRDI QIDQ4289239zbMATH OpenFDO

Authors Francine F. Abeles

Publication date 24 May 1994

zbMATH Keywords

unificationHerbrand's fundamental theorem

Mathematics Subject Classification ID

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

Recommendations

• From Hilbert's program to a logic tool box
• Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving
• Theory of logic programming. An elementary introduction
• scientific article; zbMATH DE number 4028866
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• Herbrand's theorem and extractive proof theory
• scientific article; zbMATH DE number 841929
• scientific article; zbMATH DE number 1531964
• scientific article; zbMATH DE number 3872640

Cited in

(11)

• Herbrand theorems in arbitrary institutions
• Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication
• Dodgson condensation: The historical and mathematical development of an experimental method
• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• Haskell before Haskell: Curry's contribution to programming (1946--1950)
• Inference in Nineteenth-Century British Logic
• Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
• Guest editor's introduction: JvH100
• Jean van Heijenoort's contributions to proof theory and its history
• Chiò's and Dodgson's determinantal identities
• Some historical reflections

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