111 found
Order:
  1.  55
    Jean Van Heijenoort (ed.) (1967). From Frege to Gödel. Cambridge, Harvard University Press.
    The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   69 citations  
  2.  4
    Jean Van Heijenoort (1967). Logic as Calculus and Logic as Language. Synthese 17 (3):324-330.
  3. Jean van Heijenoort (1974). Subject and Predicate in Western Logic. Philosophy East and West 24 (3):253-268.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  15
    Jean van Heijenoort (2012). Historical Development of Modern Logic. Logica Universalis 6 (3-4):327-337.
  5.  17
    John van Heijenoort (1959). Les Limitations Internes des Formalismes. Étude Sur la Signification du Théorème de Gödel Et des Théorèmes Apparentés Dans la Théorie des Fondements des Mathématiques. [REVIEW] Journal of Philosophy 56 (7):333-337.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6. Jean van Heijenoort (1985). Selected Essays. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography   5 citations  
  7.  12
    John van Heijenoort (1955). An Introduction to Deductive Logic. [REVIEW] Journal of Philosophy 52 (24):753-754.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8.  12
    John van Heijenoort (1961). Leibniz Critique de Descartes. [REVIEW] Journal of Philosophy 58 (2):53-55.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9.  12
    John van Heijenoort (1966). The Basic Laws of Arithmetic: Exposition of the System. [REVIEW] Journal of Philosophy 63 (1):28-28.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10.  4
    Jean van Heijenoort (1970). From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Journal of Philosophy 67 (4):109-110.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  11.  11
    Jean Van Heijenoort (1973). Introduction to the Basic Concepts and Problems of Modern Logic. [REVIEW] Journal of Philosophy 70 (3):86-86.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  21
    J. Van Heijenoort (1977). Frege on Sense Identity. Journal of Philosophical Logic 6 (1):103-108.
  13.  19
    J. Van Heijenoort (1977). Sense in Frege. Journal of Philosophical Logic 6 (1):93-102.
  14.  5
    John van Heijenoort & Jean Ladriere (1959). Les Limitations Internes des Formalismes. Étude Sur la Signification du Théorème de Gödel Et des Théorèmes Apparentés Dans la Théorie des Fondements des Mathématiques. Journal of Philosophy 56 (7):333-337.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  2
    Jean van Heijenoort (1980). El Desarrollo de la Teoría de la Cuantificación. Journal of Symbolic Logic 45 (3):635-636.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  16. John van Heijenoort (1958). Review: Le R. P. Dubarle, Initiation a la Logique. [REVIEW] Journal of Symbolic Logic 23 (1):30-30.
     
    Export citation  
     
    My bibliography  
  17.  11
    J. van Heijenoort (1972). Book Review:The Collected Papers of Gerhard Gentzen M. E. Szabo. [REVIEW] Philosophy of Science 39 (1):91-.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18. J. van Heijenoort (1967). From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  19.  2
    Stefan Bauer-Mangelberg, Jean van Heijenoort & Stefan Bauer-Mengelberg (1970). On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory. Journal of Symbolic Logic 35 (2):332-333.
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  2
    W. V. Quine, Jean van Heijenoort, Alfred North Whitehead & Bertrand Russell (1975). Introductory Note. Journal of Symbolic Logic 40 (3):472-473.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21. Jean van Heijenoort (1979). With Trotsky in Exile: From Prinkipo to Coyoacán. Studies in Soviet Thought 20 (4):391-396.
     
    Export citation  
     
    My bibliography   1 citation  
  22. J. van Heijenoort (1967). Review: Alberto Pasquinelli, Introduzione alla Logica Simbolica. [REVIEW] Journal of Symbolic Logic 32 (1):105-105.
    Translate
     
     
    Export citation  
     
    My bibliography  
  23.  3
    John van Heijenoort (1962). Review: Maria de la Cinta Badillo Barallat, Aplicacion de la Logica Polivalente a la Teoria de Numeros. [REVIEW] Journal of Symbolic Logic 27 (1):112-112.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. J. van Heijenoort (1968). Review: Hans Hermes, Zur Geschichte der Mathematischen Logik und Grundlagenforschung in den Letzten Funfundsiebzig Jahren. [REVIEW] Journal of Symbolic Logic 33 (1):112-112.
    Translate
     
     
    Export citation  
     
    My bibliography  
  25. Jean van Heijenoort (1973). Subject and Predicate in Western Logic. In ¸ Itevanheijenoort1985. Bib 17-34.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  26.  1
    Jacques Herbrand & Jean van Heijenoort (1970). Ecrits Logiques. Philosophical Review 79 (4):576-578.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  1
    John van Heijenoort (1957). Review: I. M. Bochenski, Spitzfindigkeit. [REVIEW] Journal of Symbolic Logic 22 (4):382-382.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  2
    John van Heijenoort (1957). Review: V. J. McGill, W. T. Parry, The Unity of Opposites: A Dialectical Principle. [REVIEW] Journal of Symbolic Logic 22 (2):212-213.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29. Jean Van Heijenoort (1879). Frege and Gödel. Cambridge, Mass.,Harvard University Press.
    Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116).
     
    Export citation  
     
    My bibliography   1 citation  
  30.  2
    John van Heijenoort (1960). Review: Augustin Sesmat, Logique. I. Les Definitions, Les Jugements; Augustin Sesmat, Logique. II. Les Raisonnements, la Logistique. [REVIEW] Journal of Symbolic Logic 25 (1):77-77.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  2
    J. van Heijenoort (1975). Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory. [REVIEW] Journal of Symbolic Logic 40 (1):95-95.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  2
    John van Heijenoort (1958). Review: Ray H. Dotterer, Formal Logic and the "Fringe."; W. T. Parry, Reply to Professor Dotterer. [REVIEW] Journal of Symbolic Logic 23 (2):214-214.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  1
    J. van Heijenoort (1966). Review: Hans Reichenbach, Elements of Symbolic Logic. [REVIEW] Journal of Symbolic Logic 31 (4):675-675.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    J. van Heijenoort (1971). Review: G. E. Minc, L. Ebner, Skolem's Method of Elimination of Positive Quantifiers in Sequential Calculi. [REVIEW] Journal of Symbolic Logic 36 (3):526-527.
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  1
    Stefan Bauer-Mengelberg & Jean van Heijenoort (1990). Einige Metamathematische Resultate Über Entscheidungsdefinitheit Und Widerspruchsfreiheir. Journal of Symbolic Logic 55 (1):342-343.
    Direct download  
     
    Export citation  
     
    My bibliography  
  36. John van Heijenoort (1959). Review: Robert Blanche, Sur la Structuration du Tableau des Connectifs Interpropositionnels Binaries. [REVIEW] Journal of Symbolic Logic 24 (3):228-228.
     
    Export citation  
     
    My bibliography  
  37.  1
    J. van Heijenoort (1971). Review: G. E. Mints, A. O. Slisenko, Analog of Herbrand's Theorem for [Non] Prenex Formulas of Constructive Predicate Calculus. [REVIEW] Journal of Symbolic Logic 36 (3):525-526.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  1
    J. van Heijenoort (1969). Review: Gerold Stahl, Aspectos Formales de Algunas Paradojas Semanticas. [REVIEW] Journal of Symbolic Logic 34 (1):140-140.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  39.  1
    J. van Heijenoort (1968). Review: N. I. Stazkin, Formation of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 33 (3):465-465.
  40.  1
    John van Heijenoort (1962). Review: Alfred Tarski, What is Elementary Geometry? [REVIEW] Journal of Symbolic Logic 27 (1):93-93.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  1
    J. van Heijenoort (1971). Review: G. E. Mints, A. O. Slisenko, Disjunctive Interpretation of the LJ Calculus. [REVIEW] Journal of Symbolic Logic 36 (3):527-528.
    Direct download  
     
    Export citation  
     
    My bibliography  
  42.  1
    John van Heijenoort (1962). Review: M. C. Badillo, Logica Trivalente en la Automatizacion de los Circuitos. [REVIEW] Journal of Symbolic Logic 27 (1):112-113.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  1
    John van Heijenoort (1957). Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique. [REVIEW] Journal of Symbolic Logic 22 (4):350-351.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  1
    John van Heijenoort (1962). Review: Maria de la Cinta Badillo, Fundamentos en Relacion con Logica Simbolica Polivalente. [REVIEW] Journal of Symbolic Logic 27 (1):112-112.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  1
    Jean van Heijenoort (1990). The First Problem That Every Interpretation of Marx's Dialectics has to Confront is That Marx Was Very Brief in His Written Declarations About the Nature of the Dialectical Method. As It Was Correctly Pointed Out by Professor Jean van Heijenoort. In Jerzy Brzeziński (ed.), Idealization I: General Problems. Rodopi 113.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46. Stefan Bauer-Mengelberg, Jean van Heijenoort & Rohit Parikh (1990). Über Die Länge Yon Beweisen. Journal of Symbolic Logic 55 (1):348-348.
    Direct download  
     
    Export citation  
     
    My bibliography  
  47. Alonzo Church, W. V. Quine, Jean van Heijenoort, Alfred North Whitehead & Bertrand Russell (1975). Introductory Note.Incomplete Symbols: Descriptions. Journal of Symbolic Logic 40 (3):472.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Georg Kreisel, Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay & Jean van Heijenoort (1991). Collected Works of Kurt Godel 1938-1974. Journal of Symbolic Logic 56 (3):1085.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. J. van Heijenoort, G. E. Mints & A. O. Slisenko (1971). Analog of Herbrand's Theorem for [Non] Prenex Formulas of Constructive Predicate Calculus. Journal of Symbolic Logic 36 (3):525.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. John van Heijenoort (1958). Ackermann Wilhelm. Philosophische Bemerkungen Zur Mathematischen Logik Und Zur Mathematischen Grundlagenforschung. Ratio , Vol. 1 No. 1 , Pp. 1–20.Ackermann Wilhelm. Philosophical Observations on Mathematical Logic and on Investigations Into the Foundations of Mathematics. English Translation. Ratio , Vol. 1 No. 1 , Pp. 1–23. [REVIEW] Journal of Symbolic Logic 23 (3):342-343.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 111