112 found
Order:
Disambiguations
John van Heijenoort [51]J. Van Heijenoort [38]Jean van Heijenoort [23]
  1.  64
    From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - 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.  14
    Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (3):324-330.
  3. Selected Essays.Jean van Heijenoort - 1985
    No categories
     
    Export citation  
     
    My bibliography   5 citations  
  4.  15
    Historical Development of Modern Logic.Jean van Heijenoort - 2012 - Logica Universalis 6 (3-4):327-337.
  5.  11
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean van Heijenoort - 1970 - Journal of Philosophy 67 (4):109-110.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  6. Subject and Predicate in Western Logic.van Heijenoort Jean - 1974 - Philosophy East and West 24 (3):253-268.
  7.  22
    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.John van Heijenoort - 1959 - Journal of Philosophy 56 (7):333-337.
  8.  29
    Frege on Sense Identity.J. Van Heijenoort - 1977 - Journal of Philosophical Logic 6 (1):103-108.
  9.  23
    Sense in Frege.J. Van Heijenoort - 1977 - Journal of Philosophical Logic 6 (1):93-102.
  10.  12
    An Introduction to Deductive Logic. [REVIEW]John van Heijenoort - 1955 - Journal of Philosophy 52 (24):753-754.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  12
    Leibniz Critique de Descartes. [REVIEW]John van Heijenoort - 1961 - Journal of Philosophy 58 (2):53-55.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12.  12
    The Basic Laws of Arithmetic: Exposition of the System. [REVIEW]John van Heijenoort - 1966 - Journal of Philosophy 63 (1):28-28.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13.  11
    Introduction to the Basic Concepts and Problems of Modern Logic. [REVIEW]Jean Van Heijenoort - 1973 - Journal of Philosophy 70 (3):86-86.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  2
    El Desarrollo de la Teoría de la Cuantificación.Jean van Heijenoort - 1980 - Journal of Symbolic Logic 45 (3):635-636.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  15. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.J. van Heijenoort - 1967 - Harvard University Press.
  16. With Trotsky in Exile: From Prinkipo to Coyoacán.Jean van Heijenoort - 1979 - Studies in Soviet Thought 20 (4):391-396.
     
    Export citation  
     
    My bibliography   1 citation  
  17.  2
    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]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):342-343.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  14
    Book Review:The Collected Papers of Gerhard Gentzen M. E. Szabo. [REVIEW]J. van Heijenoort - 1972 - Philosophy of Science 39 (1):91-.
  19. Review: Le R. P. Dubarle, Initiation a la Logique. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
     
    Export citation  
     
    My bibliography  
  20. Subject and Predicate in Western Logic.Jean van Heijenoort - 1973 - In ¸ Itevanheijenoort1985. Bib. pp. 17-34.
     
    Export citation  
     
    My bibliography   1 citation  
  21. Frege and Gödel.Jean Van Heijenoort - 1879 - 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  
  22. Review: Alberto Pasquinelli, Introduzione alla Logica Simbolica. [REVIEW]J. van Heijenoort - 1967 - Journal of Symbolic Logic 32 (1):105-105.
    Translate
     
     
    Export citation  
     
    My bibliography  
  23. Review: Hans Hermes, Zur Geschichte der Mathematischen Logik und Grundlagenforschung in den Letzten Funfundsiebzig Jahren. [REVIEW]J. van Heijenoort - 1968 - Journal of Symbolic Logic 33 (1):112-112.
    Translate
     
     
    Export citation  
     
    My bibliography  
  24.  1
    Dubarle Le R. P.. Initiation À la Logique. Collection de Logique Mathématique, Ser. A No. 13. “Tyme Offset.” Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, Title Pages + 91 Pp. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30.
  25.  1
    Elements of Symbolic Logic.J. van Heijenoort & Hans Reichenbach - 1966 - Journal of Symbolic Logic 31 (4):675.
  26.  1
    McGill V. J. And Parry W. T.. The Unity of Opposites: A Dialectical Principle. Science and Society, Vol. 12 , Pp. 418–444. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):212-213.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  1
    Shaw-Kwei Moh. Chü-Yow Yow-Ch'ung Koh Moh-T'ai-Tzu Ti Moh-T'ai Hsi-T'ung . Acta Mathematica Sinica, Vol. 7 , Pp. 1–27.English Summary Reprinted in Mathematical Reviews, Vol. 21 , P. 2. See the Review of the English Translation of This Paper, XXV 183.Badillo Barallat M. C.. Esquemas Representativos de Sistemas Regidos Por Una Lógica Polivalente. Spanish, with English Summary. Revista de Cálculo Automático y Cibernética, Vol. 4 No. 9 , Pp. 54–62. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (2):184-185.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  1
    Storer Thomas. A Note on Empiricism. Philosophical Studies , Vol. 4 , P. 78.Hochberg Herbert. Professor Storer on Empiricism. Philosophical Studies , Vol. 5 , Pp. 29–31.Kauf David Karl. A Comment on Hochberg's Reply to Storer. Philosophical Studies , Pp. 57–58. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):213-214.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  2
    On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory.Stefan Bauer-Mangelberg, Jean van Heijenoort & Stefan Bauer-Mengelberg - 1970 - Journal of Symbolic Logic 35 (2):332-333.
    Direct download  
     
    Export citation  
     
    My bibliography  
  30.  3
    Review: V. J. McGill, W. T. Parry, The Unity of Opposites: A Dialectical Principle. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):212-213.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  3
    Review: Maria de la Cinta Badillo Barallat, Aplicacion de la Logica Polivalente a la Teoria de Numeros. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-112.
  32.  2
    Introductory Note.W. V. Quine, Jean van Heijenoort, Alfred North Whitehead & Bertrand Russell - 1975 - Journal of Symbolic Logic 40 (3):472-473.
    Direct download  
     
    Export citation  
     
    My bibliography  
  33.  2
    Review: M. C. Badillo, Logica Trivalente en la Automatizacion de los Circuitos. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-113.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  2
    Review: Augustin Sesmat, Logique. I. Les Definitions, Les Jugements; Augustin Sesmat, Logique. II. Les Raisonnements, la Logistique. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (1):77-77.
  35.  2
    Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
  36.  2
    Review: Ray H. Dotterer, Formal Logic and the "Fringe."; W. T. Parry, Reply to Professor Dotterer. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):214-214.
  37. Review: Robert Blanche, Sur la Structuration du Tableau des Connectifs Interpropositionnels Binaries. [REVIEW]John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (3):228-228.
     
    Export citation  
     
    My bibliography  
  38.  1
    Ecrits Logiques.Jacques Herbrand & Jean van Heijenoort - 1970 - Philosophical Review 79 (4):576-578.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  1
    Review: I. M. Bochenski, Spitzfindigkeit. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):382-382.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  1
    Review: Hans Reichenbach, Elements of Symbolic Logic. [REVIEW]J. van Heijenoort - 1966 - Journal of Symbolic Logic 31 (4):675-675.
  41.  1
    Review: G. E. Minc, L. Ebner, Skolem's Method of Elimination of Positive Quantifiers in Sequential Calculi. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):526-527.
  42.  1
    Einige Metamathematische Resultate Über Entscheidungsdefinitheit Und Widerspruchsfreiheir.Stefan Bauer-Mengelberg & Jean van Heijenoort - 1990 - Journal of Symbolic Logic 55 (1):342-343.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  1
    Review: G. E. Mints, A. O. Slisenko, Analog of Herbrand's Theorem for [Non] Prenex Formulas of Constructive Predicate Calculus. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):525-526.
  44.  1
    Review: Gerold Stahl, Aspectos Formales de Algunas Paradojas Semanticas. [REVIEW]J. van Heijenoort - 1969 - Journal of Symbolic Logic 34 (1):140-140.
  45.  1
    Review: N. I. Stazkin, Formation of Mathematical Logic. [REVIEW]J. van Heijenoort - 1968 - Journal of Symbolic Logic 33 (3):465-465.
  46.  1
    Review: Alfred Tarski, What is Elementary Geometry? [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47.  1
    Review: G. E. Mints, A. O. Slisenko, Disjunctive Interpretation of the LJ Calculus. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):527-528.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  1
    Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  1
    Review: Maria de la Cinta Badillo, Fundamentos en Relacion con Logica Simbolica Polivalente. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-112.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  1
    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.Jean van Heijenoort - 1990 - In Jerzy Brzeziński (ed.), Idealization I: General Problems. Rodopi. pp. 113.
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 112