64 found
Order:
  1.  49
    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.  1
    Jean Van Heijenoort (1967). Logic as Calculus and Logic as Language. Synthese 17 (3):324-330.
  3.  15
    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  
     
    Export citation  
     
    My bibliography  
  4.  11
    John van Heijenoort (1955). An Introduction to Deductive Logic. [REVIEW] Journal of Philosophy 52 (24):753-754.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  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  
  6.  11
    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  
     
    Export citation  
     
    My bibliography  
  7.  9
    John van Heijenoort (1961). Leibniz Critique de Descartes. [REVIEW] Journal of Philosophy 58 (2):53-55.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  8. 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  
  9.  3
    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  
     
    Export citation  
     
    My bibliography   6 citations  
  10. Jean Van Heijenoort (1985). Selected Essays. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography   4 citations  
  11.  19
    J. Van Heijenoort (1977). Sense in Frege. Journal of Philosophical Logic 6 (1):93-102.
  12.  12
    Jean van Heijenoort (2012). Historical Development of Modern Logic. Logica Universalis 6 (3-4):327-337.
  13.  17
    J. Van Heijenoort (1977). Frege on Sense Identity. Journal of Philosophical Logic 6 (1):103-108.
  14.  1
    Jacques Herbrand & Jean van Heijenoort (1970). Ecrits Logiques. Philosophical Review 79 (4):576-578.
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  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  
  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.  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  
  19.  1
    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. 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  
  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.  1
    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  
  23. 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  
  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.  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  
  26.  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  
  27.  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  
  28.  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  
  29.  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  
  30. Jean Van Heijenoort (1879/1970). 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  
  31.  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  
  32. 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  
  33.  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  
  34.  1
    J. van Heijenoort (1968). Review: N. I. Stazkin, Formation of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 33 (3):465-465.
  35.  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  
  36.  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  
  37.  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  
  38.  1
    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  
  39.  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  
  40.  1
    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  
  41.  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  
  42.  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  
  43. 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  
  44. Jean van Heijenoort, Bertrand Russell & Gottlob Frege (1974). Introductory Note. Journal of Symbolic Logic 39 (2):355-355.
     
    Export citation  
     
    My bibliography  
  45. John Van Heijenoort (1967). Logical Paradoxes. In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York, Macmillan 45-51.
     
    Export citation  
     
    My bibliography  
  46. J. van Heijenoort (1970). Review: A. V. Idél'son, G. E. Minc, Matématičéskaá Téoriá Logičéskogo Vyvoda. [REVIEW] Journal of Symbolic Logic 35 (2):323-323.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. John van Heijenoort (1956). Review: E.Beth, Die zur Vorbereitung des Symposions vorgelegten Thesen des Grundreferates von Dr. Bruno v. Freytag-Loeringhoff und die dazu Eingegangenen Stellungnahmen. [REVIEW] Journal of Symbolic Logic 21 (2):204-206.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  48. John van Heijenoort (1957). Review: Erenst H. Hutten, Natural and Scientific Language. [REVIEW] Journal of Symbolic Logic 22 (4):400-400.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49. J. van Heijenoort (1970). Review: G. E. Minc, Téoréma Erbrana Dlá Isčisléniá Prédikatov s Ravénstvom I Funkcional'nymi Simvolami; G. E. Minc, Leo F. Boron, Herbrand's Theorem for the Predicate Calculus with Equality and Functional Symbols. [REVIEW] Journal of Symbolic Logic 35 (2):325-325.
  50. J. van Heijenoort (1970). Review: G. E. Minc, Priložénié. Téoréma Erbrana (Appendix. Herbrand's Theorem). [REVIEW] Journal of Symbolic Logic 35 (2):323-325.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 64