26 found
Order:
  1. 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 (3 more)  
     
    Export citation  
     
    Bookmark   149 citations  
  2. From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
     
    Export citation  
     
    Bookmark   154 citations  
  3.  87
    Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (1):324-330.
  4.  64
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean van Heijenoort (ed.) - 1967 - Cambridge, MA, USA: Harvard University Press.
    Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege's Begriffsschrift--which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory--begins the volume, which concludes with papers by Herbrand and by Gödel.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  5. From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931.Jean van Heijenoort - 1968 - Synthese 18 (2-3):302-305.
    No categories
     
    Export citation  
     
    Bookmark   76 citations  
  6.  3
    Selected Essays.Jean Van Heijenoort - 1985 - Edited by C. Cellucci, M. Mugnai, A. Maierù & F. Schupp.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  8
    Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort - 1970 - Cambridge, MA: Harvard University Press. Edited by Gottlob Frege & Kurt Gödel.
    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).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  37
    Historical Development of Modern Logic.Jean van Heijenoort - 2012 - Logica Universalis 6 (3-4):327-337.
  9. Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.
    No categories
     
    Export citation  
     
    Bookmark   9 citations  
  10. Subject and predicate in western logic.Jean van Heijenoort - 1974 - Philosophy East and West 24 (3):253-268.
  11. Subject and Predicate in Western logic.Jean van Heijenoort - 1973 - In ¸ Itevanheijenoort1985. Bib. pp. 17-34.
     
    Export citation  
     
    Bookmark   5 citations  
  12.  95
    Collected Works of Kurt Godel 1938-1974.Georg Kreisel, Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay & Jean van Heijenoort - 1991 - Journal of Symbolic Logic 56 (3):1085.
  13. With Trotsky in Exile: From Prinkipo to Coyoacán.Jean van Heijenoort - 1979 - Studies in Soviet Thought 20 (4):391-396.
     
    Export citation  
     
    Bookmark   2 citations  
  14. El desarrollo de la teoría de la cuantificación.Jean van Heijenoort - 1976 - Critica 8 (24):134-138.
    No categories
     
    Export citation  
     
    Bookmark  
  15. Hacia una explicación de la entidades lógicas.Jean Van Heijenoort (ed.) - 1984 - México: Universidad Nacional Autónoma de México, Colegio de Filosofía, Facultad de Filosofía y Letras.
    No categories
     
    Export citation  
     
    Bookmark  
  16. ¸ Itevanheijenoort1985.Jean van Heijenoort - 1973 - Bib.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  3
    Introduction à la sémantique des logiques non-classiques.Jean Van Heijenoort - 1979 - Paris: J. Van Heijenoort.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Introductory Note.Jean van Heijenoort, Bertrand Russell & Gottlob Frege - 1974 - Journal of Symbolic Logic 39 (2):355-355.
     
    Export citation  
     
    Bookmark  
  19.  19
    Introduction to the Basic Concepts and Problems of Modern Logic. [REVIEW]Jean Van Heijenoort - 1973 - Journal of Philosophy 70 (3):86-86.
  20.  30
    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  
     
    Bookmark  
  21.  21
    Introductory Note.Incomplete Symbols: Descriptions.Alonzo Church, W. V. Quine, Jean van Heijenoort, Alfred North Whitehead & Bertrand Russell - 1975 - Journal of Symbolic Logic 40 (3):472.
  22.  17
    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  
     
    Bookmark  
  23. Écrits logiques.Jacques Herbrand, Jean van Heijenoort & Warren D. Goldfarb - 1974 - Synthese 27 (1):271-284.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  24.  7
    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  
     
    Bookmark  
  25.  7
    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  
     
    Bookmark  
  26.  5
    Über die Länge yon Beweisen.Stefan Bauer-Mengelberg, Jean van Heijenoort & Rohit Parikh - 1990 - Journal of Symbolic Logic 55 (1):348-348.
    Direct download  
     
    Export citation  
     
    Bookmark