25 found
Order:
  1. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.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   142 citations  
  2.  66
    Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (1):324-330.
  3. From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
     
    Export citation  
     
    Bookmark   147 citations  
  4.  23
    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   39 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   61 citations  
  6.  1
    Selected Essays.Jean Van Heijenoort - 1985
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  34
    Historical Development of Modern Logic.Jean van Heijenoort - 2012 - Logica Universalis 6 (3-4):327-337.
  8. Subject and Predicate in Western Logic.Jean van Heijenoort - 1974 - Philosophy East and West 24 (3):253-268.
  9. Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  10. Subject and Predicate in Western Logic.Jean van Heijenoort - 1973 - In ¸ Itevanheijenoort1985. Bib. pp. 17-34.
     
    Export citation  
     
    Bookmark   5 citations  
  11. Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean van Heijenoort - 1970
  12.  89
    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. Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort (ed.) - 1970 - Cambridge, MA: 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  
     
    Bookmark   2 citations  
  14. 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  
  15.  19
    Introduction to the Basic Concepts and Problems of Modern Logic.Jean Van Heijenoort - 1973 - Journal of Philosophy 70 (3):86-86.
  16. El desarrollo de la teoría de la cuantificación.Jean van Heijenoort - 1976 - Critica 8 (24):134-138.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. ¸ Itevanheijenoort1985.Jean van Heijenoort - 1973 - Bib.
    No categories
     
    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.  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.
  20.  16
    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  
  21.  13
    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  
  22. Écrits Logiques.Jacques Herbrand, Jean van Heijenoort & Warren D. Goldfarb - 1974 - Synthese 27 (1):271-284.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  23.  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  
  24.  6
    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  
  25.  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