- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Jacques Herbrand: Logical Writings [Book Review]
Journal of Philosophy 71 (15):544-549 (1974)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Review: Warren D. Goldfarb, Jacques Herbrand, Logical Writings. [REVIEW]Jean-Pierre Benejam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
Jacques Herbrand, "Écrits logiques" and "Logical Writings".T. Scanlon - 1974 - Synthese 27 (1/2):271.
Proceedings of the Herbrand Symposium: Held in Marseilles, France, July 1981.Jacques Herbrand - 1982 - North Holland.
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.
On the practical value of Herbrand disjunctions.Uwe Petermann - 2000 - Logic and Logical Philosophy 8:153.
Jacques Herbrand.Jacques Dubucs & Paul Égré - 2006 - In Michel Bitbol & Jean Gayon (eds.), Cent ans d'épistémologie française. Paris: Presses Universitaires de France. pp. 301--322.
Herbrand consistency of some finite fragments of bounded arithmetical theories.Saeed Salehi - 2013 - Archive for Mathematical Logic 52 (3-4):317-333.
Herbrand's theorem and term induction.Matthias Baaz & Georg Moser - 2006 - Archive for Mathematical Logic 45 (4):447-503.
La théorie des nombres chez Herbrand et Lautman.Yvon Gauthier - 2010 - Philosophiques 37 (1):149-161.
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 arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
Jacques Derrida: basic writings.Jacques Derrida - 2007 - New York: Routledge. Edited by Barry Stocker.
Remarks on Herbrand normal forms and Herbrand realizations.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (5):305-317.
Les bases de la logique hilbertienne.Jacques Herbrand - 1930 - Revue de Métaphysique et de Morale 37 (2):243 - 255.
Analytics
Added to PP
2015-02-02
Downloads
44 (#364,497)
6 months
2 (#1,206,551)
2015-02-02
Downloads
44 (#364,497)
6 months
2 (#1,206,551)
Historical graph of downloads
Citations of this work
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
Polymorphism and the obstinate circularity of second order logic: A victims’ tale.Paolo Pistone - 2018 - Bulletin of Symbolic Logic 24 (1):1-52.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c88c7cdf7-xtx2d uwo