51 found
Order:
  1.  20
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  25
    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 - 1959 - Journal of Philosophy 56 (7):333-337.
  3.  14
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  3
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  5.  11
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  11
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  14
    The Basic Laws of Arithmetic: Exposition of the System. [REVIEW]John van Heijenoort - 1966 - Journal of Philosophy 63 (1):28-28.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    An Introduction to Deductive Logic. [REVIEW]John van Heijenoort - 1955 - Journal of Philosophy 52 (24):753-754.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  16
    Review: Ray H. Dotterer, Formal Logic and the "Fringe."; W. T. Parry, Reply to Professor Dotterer. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):214-214.
  10.  12
    Leibniz Critique de Descartes. [REVIEW]John van Heijenoort - 1961 - Journal of Philosophy 58 (2):53-55.
  11.  9
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  14
    Review: Maria de la Cinta Badillo Barallat, Aplicacion de la Logica Polivalente a la Teoria de Numeros. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-112.
  13.  8
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  10
    Review: E.Beth, Die zur Vorbereitung des Symposions vorgelegten Thesen des Grundreferates von Dr. Bruno v. Freytag-Loeringhoff und die dazu Eingegangenen Stellungnahmen. [REVIEW]John van Heijenoort - 1956 - Journal of Symbolic Logic 21 (2):204-206.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  7
    Shaw-Kwei Moh. 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.Badillo Barallat M. C.. 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  8
    Review: Jose Ferrater Mora, Diccionario de Filosofia. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (3):249-250.
  17. Review: Le R. P. Dubarle, Initiation a la Logique. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
  18.  6
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  1
    Blanché Robert. Sur la Structuration du Tableau des Connectifs Interpropositionnels Binaires.John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (3):228.
  20.  5
    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.
  21.  5
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  8
    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.
  23.  7
    Review: Maria de la Cinta Badillo, Fundamentos en Relacion con Logica Simbolica Polivalente. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-112.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  4
    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.
  25.  4
    Freytag-Loeringhoff Bruno v., Becker Oskar, Bernays Paul, Bochenski I. M., Brugger Walter, Curry Haskell B., Juhos Béla, Kempski Jürgen v., Stammler Gerhard. Die zur Vorbereitung des Symposions vorgelegten Thesen des Grundreferates von Dr. Bruno v. Freytag-Loeringhoff und die dazu eingegangenen Stellungnahmen. Symphilosophein, Bericht über den Dritten Deutschen Kongreβ für Philosophie Bremen 1950, Leo Lehnen Verlag, Munich 1952, pp. 161–171.Beth E. W.. Selbständige Thesen. Symphilosophein, Bericht über den Dritten Deutschen Kongreβ für Philosophie Bremen 1950, Leo Lehnen Verlag, Munich 1952, p. 171.Brugger Walter. Selbständige Thesen. Symphilosophein, Bericht über den Dritten Deutschen Kongreβ für Philosophie Bremen 1950, Leo Lehnen Verlag, Munich 1952, pp. 171–175.Juhos Béla. Selbständige Thesen. Symphilosophein, Bericht über den Dritten Deutschen Kongreβ für Philosophie Bremen 1950, Leo Lehnen Verlag, Munich 1952, pp. 175–178.von Kempski Jürgen. Selbständige Thesen. Symphilosophein,. [REVIEW]John van Heijenoort - 1956 - Journal of Symbolic Logic 21 (2):204-206.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  4
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  4
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  3
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. 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.
     
    Export citation  
     
    Bookmark  
  31.  4
    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  
  32.  3
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  3
    Review: Warren C. Haggstrom, On Careful Reasoning in Ordinary Language. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
  34.  2
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  2
    Hutten Ernest H.. Natural and Scientific Language. Philosophy, Vol. 29 , Pp. 27–43.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. 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.
     
    Export citation  
     
    Bookmark  
  37.  2
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  1
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  1
    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.
  40.  1
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  1
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  1
    Review: I. M. Bochenski, Spitzfindigkeit. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):382-382.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Logical Paradoxes.John Van Heijenoort - 1967 - In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York: Macmillan. pp. 45-51.
     
    Export citation  
     
    Bookmark  
  45. Review: Erenst H. Hutten, Natural and Scientific Language. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
     
    Export citation  
     
    Bookmark  
  46. Review: Gonzalo Zubieta R., Definiciones Formales de Numerabilidad. [REVIEW]John van Heijenoort - 1963 - Journal of Symbolic Logic 28 (3):251-251.
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. 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  
  48. 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  
  49. Review: Paul Bernays, Mathematische Existenz und Widerspruchsfreiheit. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. 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.
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 51