49 found
Order:
  1.  35
    The Basic Laws of Arithmetic: Exposition of the System. [REVIEW]John van Heijenoort - 1966 - Journal of Philosophy 63 (1):28-28.
  2.  84
    Leibniz Critique de Descartes.John van Heijenoort - 1961 - Journal of Philosophy 58 (2):53-55.
  3.  38
    Storer Thomas. A Note on Empiricism. Philosophical Studies , Vol. 4 , P. 78.Hochberg Herbert. Professor Storer on Empiricism. Philosophical Studies , Vol. 5 , Pp. 29–31.Kauf David Karl. A Comment on Hochberg's Reply to Storer. Philosophical Studies , Pp. 57–58. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):213-214.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  27
    Gentzen Gerhard. Recherches Sur la Déduction Logique. French Translation of 4422 by Ladrière Jean, with Added Footnotes by the Translator. Presses Universitaires de France, Paris 1955, XI + 170 Pp.Feys Robert. Préface. Therein, Pp. VII–XI.Feys Robert. Note A. Les Méthodes de Déduction Naturelle. Therein, Pp. 1–2.Feys Robert. Note B. Notation Explicite des Suppositions. Therein, Pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays Et Johannson. Therein Pp. 35–39.Feys Robert. Note D. Variantes des Calculs LK Et LJ. Therein, Pp. 77–83.Ladrière Jean. Note E. Un Calcul “MK” Analogue au Calcul NK. Therein, Pp. 84–89.Feys Robert. Note F. Signification des Séquences Et des Schémas de Structure. Therein, Pp. 90–92.Ladriére Jean. Note G. Les Schémas de Coupure Et de Fusion de Séquences. Therein, Pp. 93–97.Ladriére Jean. Note H. Tableau de la Démonstration du Théorème Fondamental. Therein, Pp. 98–100.Ladriére Jean. Note I. Marche de la Démonstration du Théorème Fondamental. Therein, Pp. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5.  36
    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.John van Heijenoort & Jean Ladriere - 1959 - Journal of Philosophy 56 (7):333-337.
  6.  15
    Bocheński I. M. Spitzfindigkeit. Festgabe an die Schweizerkatholihen, Universitätsverlag, Freiburg 1954, pp. 334–352.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):382-382.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  7.  26
    Book Review: An Introduction to Deductive Logic by Hugues Leblanc. [REVIEW]John van Heijenoort - 1955 - Journal of Philosophy 52 (24):753-754.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  24
    Leibniz Critique de Descartes. [REVIEW]John van Heijenoort - 1961 - Journal of Philosophy 58 (2):53-55.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  19
    Bense Max. Transzendentale und mathematische Logik. Zeitschrift für philosophische Forschung, vol. 4 no. 4 , pp. 556–571. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):401-402.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  18
    Ackermann Wilhelm. Philosophische Bemerkungen Zur Mathematischen Logik Und Zur Mathematischen Grundlagenforschung. Ratio , Vol. 1 No. 1 , Pp. 1–20.Ackermann Wilhelm. Philosophical Observations on Mathematical Logic and on Investigations Into the Foundations of Mathematics. English Translation. Ratio , Vol. 1 No. 1 , Pp. 1–23. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):342-343.
  11.  16
    Martin Roger. Les idées actuelles sur la structure de la pensée logique. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 Avril 1956, Éditions Albin Michel, Paris 1957, pp. 1–16. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):29-29.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  10
    Bernays Paul. Mathematische Existenz Und Widerspruchsfreiheit. Études de Philosophie des Sciences, En Hommage À F. Gonseth À l'Occasion de Son Soix-Antième Anniversaire, Éditions du Griffon, Neuch'tel 1950, Pp. 11–25. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13.  15
    R. Gonzalo Zubieta Clases aritméticas definidas sin igualdad. Boletín de la Sociedad Matemática Mexicana, second series, vol. 2 , pp. 45–53. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):55-56.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  14
    Zubieta R. Gonzalo Definiciones formales de numerabilidad. Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 1 no. 1 , pp. 49–56. [REVIEW]John van Heijenoort - 1963 - Journal of Symbolic Logic 28 (3):251-251.
  15.  8
    Blanché Robert. Sur la Structuration du Tableau des Connectifs Interpropositionnels Binaires. [REVIEW]John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (3):228-228.
  16.  13
    Mora José Ferrater. Diccionario de filosofia. Cuarta edición. Editorial Sudamericana, Buenos Aires 1958, 1481 pp. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (3):249-250.
  17.  15
    Review: Jose Ferrater Mora, Diccionario de Filosofia. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (3):249-250.
  18.  10
    Hutten Ernest H.. Natural and Scientific Language. Philosophy, Vol. 29 , Pp. 27–43.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  10
    Moh Shaw-Kwei. Chü-Yow Yow-Ch'ung Koh Moh-T'ai-Tzu Ti Moh-T'ai Hsi-T'ung . Acta Mathematica Sinica, Vol. 7 , Pp. 1–27. - English Summary Reprinted in Mathematical Reviews, Vol. 21 , P. 2. See the Review of the English Translation of This Paper, XXV 183. - M. C. Badillo Barallat. Esquemas Representativos de Sistemas Regidos Por Una Lógica Polivalente. Spanish, with English Summary. Revista de Cálculo Automático y Cibernética, Vol. 4 No. 9 , Pp. 54–62. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (2):184-185.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Review: Le R. P. Dubarle, Initiation a la Logique. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
  21.  10
    Review: V. J. McGill, W. T. Parry, The Unity of Opposites: A Dialectical Principle. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):212-213.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  9
    Mora José Ferrater. Qué es la lógica. Colección Esquemas. Editorial Columba, Buenos Aires 1957, 73 pp. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):350-351.
  23.  9
    Martin Roger. Raisonnement mathématique et récurrence. Les études philosophiques, n.s. vol. 11 , pp. 242–262.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):358-359.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  9
    McGill V. J. And Parry W. T.. The Unity of Opposites: A Dialectical Principle. Science and Society, Vol. 12 , Pp. 418–444. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):212-213.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  3
    Review: Roger Martin, Les Idees Actuelles sur la Structure de la Pensee Logique. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):29-29.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  6
    A Note on Empiricism.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):213-214.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  7
    Dubarle Le R. P.. Initiation À la Logique. Collection de Logique Mathématique, Ser. A No. 13. “Tyme Offset.” Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, Title Pages + 91 Pp. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
  28.  8
    Review: I. M. Bochenski, Spitzfindigkeit. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):382-382.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  8
    Review: Warren C. Haggstrom, On Careful Reasoning in Ordinary Language. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
  30.  9
    Review: Alfred Tarski, What is Elementary Geometry? [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  9
    Review: Augustin Sesmat, Logique. I. Les Definitions, Les Jugements; Augustin Sesmat, Logique. II. Les Raisonnements, la Logistique. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (1):77-77.
  32.  6
    Blanché Robert. Introduction À la Logique Contemporaine. Librairie Armand Colin, Paris 1957, 208 Pp. [REVIEW]John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (1):71-71.
  33.  6
    Haggstrom Warren C.. On Careful Reasoning in Ordinary Language. Analysis , Vol. 12 No. 4 , Pp. 82–85.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  6
    Russi Gonzalo Zubieta. Algunos teoremas en la teoría de la cuantificación elemental. Memoria del Congreso Cientifico Mexicano, I Ciencias fisicas y matemáticas. Universidad Nacional Autónoma de México, Mexico 1953, pp. 100–108. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):56-56.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  7
    Review: M. C. Badillo Barallat, Automatizacion de los Silogismos en una Logica Polivalente. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-112.
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  5
    On Careful Reasoning in Ordinary Language.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  6
    Review: Samuel Issmann, Problemes de la Definition; S. Ceccato, P. Facchi, G. Vaccarino, Discussione. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):211-212.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  3
    Review: Robert Blanche, Sur la Structuration du Tableau des Connectifs Interpropositionnels Binaries. [REVIEW]John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (3):228-228.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  6
    Review: M. C. Badillo, Logica Trivalente en la Automatizacion de los Circuitos. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-113.
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  4
    Sesmat Augustin. Logique. I. Les définitions, les jugements. Actualités scientifiques et industrielles 1086. Hermann & Cie, Paris 1950, 360 pp.Sesmat Augustin. Logique. II. Les raisonnements, la logistique. Actualités scientifiques et industrielles 1130. Hermann & Cie, Paris 1951, pp. 361–776. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (1):77-77.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  4
    Xenakis Jason. The Logic of Proper Names. Methodos, Vol. 7 No. 25–26 , Pp. 13–24.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):396-397.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  3
    Review: Erenst H. Hutten, Natural and Scientific Language. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  3
    Issmann Samuel. Problèmes de la Définition. Methodos, Vol. 4 , Pp. 91–117.Ceccato S., Facchi P., Vaccarino G.. Discussione. Methodos, Vol. 4 , Pp. 117–118. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):211-212.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  3
    Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  3
    Natural and Scientific Language.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  2
    Les Idées Actuelles Sur la Structure de la Penseé Logique.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):29-29.
  47. Logical Paradoxes.John Van Heijenoort - 1967 - In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York: Macmillan. pp. 45-51.
  48. Review: Gonzalo Zubieta Russi, Algunos Teoremas En la Teoria de la Cuantificacion Elemental. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):56-56.
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Review: Gonzalo Zubieta R., Clases Aritmeticas Defindas sin Igualdad. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):55-56.
    Translate
     
     
    Export citation  
     
    Bookmark