112 found
Order:
Disambiguations
John van Heijenoort [51]J. Van Heijenoort [38]Jean van Heijenoort [23]
  1.  71
    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.  15
    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.  16
    Historical Development of Modern Logic.Jean van Heijenoort - 2012 - Logica Universalis 6 (3-4):327-337.
  5.  13
    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.  5
    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. 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  
  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. Subject and Predicate in Western Logic.Jean van Heijenoort - 1973 - In ¸ Itevanheijenoort1985. Bib. pp. 17-34.
     
    Export citation  
     
    My bibliography   1 citation  
  20.  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  
  21.  2
    Gentzen Gerhard. Recherches Sur la Déduction Logique. French Translation of 4422 by Ladrière Jean, with Added Footnotes by the Translator. Presses Universitaires de France, Paris 1955, XI + 170 Pp.Feys Robert. Préface. Therein, Pp. VII–XI.Feys Robert. Note A. Les Méthodes de Déduction Naturelle. Therein, Pp. 1–2.Feys Robert. Note B. Notation Explicite des Suppositions. Therein, Pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays Et Johannson. Therein Pp. 35–39.Feys Robert. Note D. Variantes des Calculs LK Et LJ. Therein, Pp. 77–83.Ladrière Jean. Note E. Un Calcul “MK” Analogue au Calcul NK. Therein, Pp. 84–89.Feys Robert. Note F. Signification des Séquences Et des Schémas de Structure. Therein, Pp. 90–92.Ladriére Jean. Note G. Les Schémas de Coupure Et de Fusion de Séquences. Therein, Pp. 93–97.Ladriére Jean. Note H. Tableau de la Démonstration du Théorème Fondamental. Therein, Pp. 98–100.Ladriére Jean. Note I. Marche de la Démonstration du Théorème Fondamental. Therein, Pp. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. 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  
  23.  3
    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  
  24. 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  
  25. 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  
  26.  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  
  27.  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.
  28.  3
    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.
  29.  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  
  30.  1
    Bernays Paul. On the Original Gentzen Consistency Proof for Number Theory. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by Kino A., Myhill J., and Vesley R. E., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London 1970, Pp. 409–417. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95.
  31.  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.
  32.  1
    Elements of Symbolic Logic.J. van Heijenoort & Hans Reichenbach - 1966 - Journal of Symbolic Logic 31 (4):675.
  33.  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  
  34.  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  
  35.  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  
  36.  1
    Zubieta R. Gonzalo Definiciones formales de numerabilidad. Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 1 no. 1 , pp. 49–56. [REVIEW]John van Heijenoort - 1963 - Journal of Symbolic Logic 28 (3):251.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  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.  2
    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  
  39.  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  
  40.  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.
  41.  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.
  42.  1
    Ecrits Logiques.Jacques Herbrand & Jean van Heijenoort - 1970 - Philosophical Review 79 (4):576-578.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  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  
  44.  1
    Review: Hans Reichenbach, Elements of Symbolic Logic. [REVIEW]J. van Heijenoort - 1966 - Journal of Symbolic Logic 31 (4):675-675.
  45.  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.
  46.  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  
  47.  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.
  48.  1
    Review: Gerold Stahl, Aspectos Formales de Algunas Paradojas Semanticas. [REVIEW]J. van Heijenoort - 1969 - Journal of Symbolic Logic 34 (1):140-140.
  49.  1
    Review: N. I. Stazkin, Formation of Mathematical Logic. [REVIEW]J. van Heijenoort - 1968 - Journal of Symbolic Logic 33 (3):465-465.
  50.  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  
1 — 50 / 112