scientific article; zbMATH DE number 559187
From MaRDI portal
Publication:4289239
zbMATH Open0801.03001MaRDI QIDQ4289239FDOQ4289239
Authors: Francine F. Abeles 
Publication date: 24 May 1994
Title of this publication is not available (Why is that?)
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
History of mathematics in the 20th century (01A60) History of computer science (68-03) History of mathematical logic and foundations (03-03)
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
- Inference in Nineteenth-Century British Logic
- Haskell before Haskell: Curry's contribution to programming (1946--1950)
- 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)
