Jacques Herbrand

&
In Michel Bitbol & Jean Gayon (eds.), Cent ans d'épistémologie française. Paris: Presses Universitaires de France. pp. 301--322 (2006)
  Copy   BIBTEX

Abstract

The paper deals with the contributions of Jacques Herbrand to logic and philosophy in historical context

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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

Review: Jacques Herbrand, Écrits logiques. [REVIEW]Paul Bernays - 1971 - Journal of Symbolic Logic 36 (3):523-524.
Les bases de la logique hilbertienne.Jacques Herbrand - 1930 - Revue de Métaphysique et de Morale 37 (2):243 - 255.
Only two letters: The correspondence between herbrand and gödel.Wilfried Sieg - 2005 - Bulletin of Symbolic Logic 11 (2):172-184.
Herbrand consistency of some finite fragments of bounded arithmetical theories.Saeed Salehi - 2013 - Archive for Mathematical Logic 52 (3-4):317-333.
Review: Warren D. Goldfarb, Jacques Herbrand, Logical Writings. [REVIEW]Jean-Pierre Benejam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
Logical writings.Jacques Herbrand - 1971 - Dordrecht, Holland,: D. Reidel Pub. Co..
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
Jacques Herbrand: life, logic, and automated deduction.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 195-254.
Herbrand’s fundamental theorem in the eyes of Jean Van heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.
Herbrand's Theorem for a Modal Logic.Melvin Fitting - unknown
Review: Jean-Pierre Benejam, Application du Theoreme de Herbrand a la Presentation de Theses Teratologiques du Calcul des Predicats Elementaire; Roland Fraisse, Reflexions sur la Completude Selon Herbrand. [REVIEW]Warren D. Goldfarb - 1975 - Journal of Symbolic Logic 40 (2):238-239.
La logique mathématique en France entre les deux guerres mondiales : Quelques repères.Marcel Guillaume - 2009 - Revue d'Histoire des Sciences 62 (1):177-219.
On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories.Leszek Aleksander Kołodziejczyk - 2006 - Journal of Symbolic Logic 71 (2):624 - 638.
Thasos.Jean-Jacques Maffre, Jacques-Y. Perreault, Francine Blondé, Arthur Muller, Dominique Mulliez, Jacques Des Courtils, Anne Pariente & Michèle Brunet - 1986 - Bulletin de Correspondance Hellénique 110 (2):790-812.
Extracting Herbrand disjunctions by functional interpretation.Philipp Gerhardy & Ulrich Kohlenbach - 2005 - Archive for Mathematical Logic 44 (5):633-644.

Analytics

Added to PP
2014-01-28

Downloads
152 (#121,801)

6 months
89 (#48,931)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jacques Dubucs
Centre National de la Recherche Scientifique

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references