20 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   153 citations  
  2. Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (1):324-330.
  3. (1 other version)From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
     
    Export citation  
     
    Bookmark   157 citations  
  4. 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   50 citations  
  5.  11
    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  
  6.  20
    Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort - 1879 - 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  
  7.  49
    Historical Development of Modern Logic.Jean van Heijenoort - 2012 - Logica Universalis 6 (3-4):327-337.
  8. 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  
  9. (1 other version)Subject and Predicate in Western logic.Jean van Heijenoort - 1973 - In ¸ Itevanheijenoort1985. Bib. pp. 17-34.
     
    Export citation  
     
    Bookmark   5 citations  
  10. 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  
  11.  16
    Ü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  
  12.  18
    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  
  13.  55
    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  
  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.  6
    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
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. ¸ Itevanheijenoort1985.Jean van Heijenoort - 1973 - Bib.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  10
    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.  11
    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 Brzezinski, Francesco Coniglione, Theo A. Kuipers & Leszek Nowak (eds.), Idealization I: General Problems. Atlanta, GA: Rodopi. pp. 113.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  27
    Introduction to the Basic Concepts and Problems of Modern Logic. [REVIEW]Jean Van Heijenoort - 1973 - Journal of Philosophy 70 (3):86-86.