48 found
Sort by:
  1. Jean van Heijenoort (2012). Historical Development of Modern Logic. Logica Universalis 6 (3-4):327-337.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. J. van Heijenoort (1997). Reichenbach Hans. Elements of Symbolic Logic. Second, Paper-Bound, Edition of XIV 50. The Free Press, New York, and Collier-Macmillan Limited, London, 1966, Xiii+ 444 Pp. [REVIEW] Journal of Symbolic Logic 31 (4):675-675.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. J. Van Heijenoort (1977). Frege on Sense Identity. Journal of Philosophical Logic 6 (1):103-108.
  5. J. Van Heijenoort (1977). Sense in Frege. Journal of Philosophical Logic 6 (1):93-102.
  6. 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)  
     
    My bibliography  
     
    Export citation  
  7. Jean van Heijenoort (1974). Subject and Predicate in Western Logic. Philosophy East and West 24 (3):253-268.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. J. van Heijenoort (1973). Review: R. Martin, G. Sabbagh, Encyclopedia Universalis. [REVIEW] Journal of Symbolic Logic 38 (2):341-341.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. J. van Heijenoort (1972). Book Review:The Collected Papers of Gerhard Gentzen M. E. Szabo. [REVIEW] Philosophy of Science 39 (1):91-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. 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  
     
    My bibliography  
     
    Export citation  
  11. J. van Heijenoort (1971). Review: G. E. Mints, A. O. Slisenko, Choice of Terms in Quantifier Rules of Constructive Predicate Calculus. [REVIEW] Journal of Symbolic Logic 36 (3):525-525.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. 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  
     
    My bibliography  
     
    Export citation  
  13. J. van Heijenoort (1971). Review: G. E. Minc, Analog Teoremy Erbrana Dla Konstruktivnogo Iscislenia Predikatov; G. E. Minc, R. N. Goss, An Analogue of Herbrand's Theorem for the Constructive Predicate Calculus. [REVIEW] Journal of Symbolic Logic 36 (3):524-525.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. 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  
     
    My bibliography  
     
    Export citation  
  15. 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)  
     
    My bibliography  
     
    Export citation  
  16. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. 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)  
     
    My bibliography  
     
    Export citation  
  18. J. van Heijenoort (1969). Review: Gerold Stahl, Aspectos Formales de Algunas Paradojas Semanticas. [REVIEW] Journal of Symbolic Logic 34 (1):140-140.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  19. J. van Heijenoort (1969). Review: Gerold Stahl, La Verdad Desde El Punto de Vista Logico-Matematico. [REVIEW] Journal of Symbolic Logic 34 (1):140-140.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. J. van Heijenoort (1968). Review: N. I. Stazkin, Formation of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 33 (3):465-465.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. J. van Heijenoort (1967). Review: Alberto Pasquinelli, Introduzione alla Logica Simbolica. [REVIEW] Journal of Symbolic Logic 32 (1):105-105.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. 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  
     
    My bibliography  
     
    Export citation  
  24. John Van Heijenoort (1967). Logical Paradoxes. In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York, Macmillan. 45-51.
    No categories
     
    My bibliography  
     
    Export citation  
  25. J. van Heijenoort (1966). Review: Hans Reichenbach, Elements of Symbolic Logic. [REVIEW] Journal of Symbolic Logic 31 (4):675-675.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. John van Heijenoort (1964). Review: Gonzalo Zubieta Russi, Algunos Teoremas En la Teoria de la Cuantificacion Elemental. [REVIEW] Journal of Symbolic Logic 29 (1):56-56.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  27. John van Heijenoort (1964). Review: Gonzalo Zubieta R., Clases Aritmeticas Defindas sin Igualdad. [REVIEW] Journal of Symbolic Logic 29 (1):55-56.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  28. John van Heijenoort (1963). Review: Gonzalo Zubieta R., Definiciones Formales de Numerabilidad. [REVIEW] Journal of Symbolic Logic 28 (3):251-251.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. John van Heijenoort (1962). Review: Alfred Tarski, What is Elementary Geometry? [REVIEW] Journal of Symbolic Logic 27 (1):93-93.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. John van Heijenoort (1962). Review: M. C. Badillo Barallat, Automatizacion de los Silogismos en una Logica Polivalente. [REVIEW] Journal of Symbolic Logic 27 (1):112-112.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. John van Heijenoort (1960). Review: Jose Ferrater Mora, Diccionario de Filosofia. [REVIEW] Journal of Symbolic Logic 25 (3):249-250.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. John van Heijenoort (1958). Review: Le R. P. Dubarle, Initiation a la Logique. [REVIEW] Journal of Symbolic Logic 23 (1):30-30.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. 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)  
     
    My bibliography  
     
    Export citation  
  39. John van Heijenoort (1958). Review: Roger Martin, Les Idees Actuelles sur la Structure de la Pensee Logique. [REVIEW] Journal of Symbolic Logic 23 (1):29-29.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  40. John van Heijenoort (1957). Review: Erenst H. Hutten, Natural and Scientific Language. [REVIEW] Journal of Symbolic Logic 22 (4):400-400.
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. John van Heijenoort (1957). Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique. [REVIEW] Journal of Symbolic Logic 22 (4):350-351.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. John van Heijenoort (1957). Review: I. M. Bochenski, Spitzfindigkeit. [REVIEW] Journal of Symbolic Logic 22 (4):382-382.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. John van Heijenoort (1957). Review: Paul Bernays, Mathematische Existenz und Widerspruchsfreiheit. [REVIEW] Journal of Symbolic Logic 22 (2):210-211.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  44. John van Heijenoort (1957). Review: Samuel Issmann, Problemes de la Definition; S. Ceccato, P. Facchi, G. Vaccarino, Discussione. [REVIEW] Journal of Symbolic Logic 22 (2):211-212.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. 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  
     
    My bibliography  
     
    Export citation  
  46. John van Heijenoort (1957). Review: Warren C. Haggstrom, On Careful Reasoning in Ordinary Language. [REVIEW] Journal of Symbolic Logic 22 (4):399-399.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. 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).
     
    My bibliography  
     
    Export citation