Jacques Herbrand: life, logic, and automated deduction

, , &
In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 195-254 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reasoning in simple type theory – Festschrift in honor of Peter B. Andrews on his 70th birthday, edited by Christoph Benzmüller, Chad E. Brown, Jörg Siekmann, and Richard Statman, Studies in Logic, vol. 17. College Publications, London, 2008, 454 pp. [REVIEW]Florian Rabe - 2010 - Bulletin of Symbolic Logic 16 (3):409-411.
Lectures on Jacques Herbrand as a Logician.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2009 - Seki Publications (Issn 1437-4447).
Jacques Herbrand.Jacques Dubucs & Paul Égré - 2006 - In Michel Bitbol & Jean Gayon (eds.), L'épistémologie française, 1830-1970. Paris: Presses universitaires de France. pp. 301--322.
Heijenoort Jean van. Preface. Écrits logiques, by Herbrand Jacques, Presses Universitaires de France, Paris 1968, pp. 1–12.Chevalley Claude and Lautman Albert. Notice biographique sur Jacques Herbrand. Écrits logiques, by Herbrand Jacques, Presses Universitaires de France, Paris 1968, pp. 13–15. , pp. 66–68.)Chevalley Claude. Sur la pensée de Jacques Herbrand. A reprint of 5431 with omissions. Écrits logiques, by Herbrand Jacques, Presses Universitaires de France, Paris 1968, pp. 17–20.Herbrand Jacques. Sur la théorie de la démonstration. A reprint of 3821. Écrits logiques, by Herbrand Jacques, Presses Universitaires de France, Paris 1968, pp. 21–23.Herbrand Jacques. Non-contradiction des axiomes arithmétiques. A reprint of 3822. Écrits logiques, by Herbrand Jacques, Presses Universitaires de France, Paris 1968, pp. 25–26.Herbrand Jacques. Sur quelques propriétés des propositions vraies et leurs applications. A reprint of 3823. Écrits logiques, by Herbrand Jacques, Presses Universitair. [REVIEW]Paul Bernays - 1971 - Journal of Symbolic Logic 36 (3):523-524.
Review: Jacques Herbrand, Écrits logiques. [REVIEW]Paul Bernays - 1971 - Journal of Symbolic Logic 36 (3):523-524.
Review: Warren D. Goldfarb, Jacques Herbrand, Logical Writings. [REVIEW]Jean-Pierre Benejam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday.Dieter Hutter (ed.) - 2004 - Springer.
The Deduction Theorem (Before and After Herbrand).Curtis Franks - 2021 - History and Philosophy of Logic 42 (2):129-159.
Review: Burton Dreben, Peter Andrews, Stal Aanderaa, False Lemmas in Herbrand. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
Warren D. Goldfarb. Preface. Logical writings, by Jacques Herbrand, edited by Warren D. Goldfarb, Harvard University Press, Cambridge, Massachusetts, and D. Reidel Publishing Company, Dordrecht-Holland, 1971, pp. V–VII. [REVIEW]Jean-Pierre Bénéjam - 1975 - Journal of Symbolic Logic 40 (1):94-95.

Analytics

Added to PP
2014-02-01

Downloads
27 (#577,411)

6 months
6 (#700,231)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

No citations found.

Add more citations

References found in this work

Grundgesetze der Arithmetik.Gottlob Frege - 1893 - Hildesheim,: G.Olms.
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.

View all 18 references / Add more references