- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Results for 'J. Van Heijenoort'
999 found
Order:
- Introduzione alla Logica Simbolica.J. van Heijenoort - 1967 - Journal of Symbolic Logic 32 (1):105-105.
- The Collected Papers of Gerhard Gentzen.J. van Heijenoort - 1972 - Philosophy of Science 39 (1):91-91.
- ¸ Iteheijenoort.J. Van Heijenoort (ed.) - 1922 - Harvard University Press.No categoriesExport citation
Bookmark - Book Review:The Collected Papers of Gerhard Gentzen M. E. Szabo. [REVIEW]J. van Heijenoort - 1972 - Philosophy of Science 39 (1):91-.
- Frege on sense identity.J. Van Heijenoort - 1977 - Journal of Philosophical Logic 6 (1):103-108.
- Sense in Frege.J. Van Heijenoort - 1977 - Journal of Philosophical Logic 6 (1):93-102.
- Review: Ludovico Geymonat, Analisi Critica del recente Indirizzo di Logica Formale del Carnap. [REVIEW]J. Van Heijenoort - 1968 - Journal of Symbolic Logic 33 (2):317-317.Export citation Bookmark
- Elements of Symbolic Logic.J. van Heijenoort - 1966 - Journal of Symbolic Logic 31 (4):675.
- Development of Mathematical Logic.J. van Heijenoort & R. L. Goodstein - 1973 - Philosophical Review 82 (3):409.
- Analog of Herbrand's Theorem for [non] Prenex Formulas of Constructive Predicate Calculus.J. van Heijenoort, G. E. Mints & A. O. Slisenko - 1971 - Journal of Symbolic Logic 36 (3):525.
- Matematiceskaa teoria logiceskogo vyvoda.J. van Heijenoort, A. V. Idel'son & G. E. Minc - 1970 - Journal of Symbolic Logic 35 (2):323.
- G. E. Minc. Teoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional′nymi simvolami. Doklady Akadémii Nauk SSSR, vol. 169 , pp. 273–275. - G. E. Minc. Herbrand's theorem for the predicate calculus with equality and functional symbols. English translation of the preceding by Leo F. Boron. Soviet mathematics, vol. 7 no. 4 , pp. 911–914. [REVIEW]J. van Heijenoort - 1970 - Journal of Symbolic Logic 35 (2):325.
- Minc G. É.. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 , pp. 783–786.Minc G. É.. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by Goss R. N.. Soviet mathematics, vol. 3 no. 6 , pp. 1712–1715. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):525-525.
- Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
- Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
- Alberto Pasquinelli. Introduzione alla logica simbolica. Second printing. With a preface by Ludovico Geymonat. Biblioteca di cultura scientifica. Paolo Boringhieri, Turin1963, x + 118 pp. [REVIEW]J. van Heijenoort - 1967 - Journal of Symbolic Logic 32 (1):105.
- A. V. Idél′son and G. E. Minc. Prédislovie rédaktorov . Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 5–8. - Gerhard Gentzen. Isslédovaniá logičéskih vyvodov. Russian translation of 4422 by A. V. Idél′son, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 9–74. - A. V. Idél′son. Dobavlénié pérévodčika . Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 75–76. - Gerhard Gentzen. Néprotivoréčivost′ čistoj téorii čisél. Russian translation of I 75 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika. [REVIEW]J. van Heijenoort - 1970 - Journal of Symbolic Logic 35 (2):323-323.
- Geymonat Ludovico. Analisi critica del recente indirizzo di logica formale del Carnap. Memorie delia R. Accademia delle Scienze di Torino, Part II, Classe di scienze morali, storiche e filologiche, ser. 2 vol. 70 no. 7 , pp. 267–281. [REVIEW]J. van Heijenoort - 1968 - Journal of Symbolic Logic 33 (2):317-317.
- Hermes Hans. Zur Geschichte der mathematischen Logik und Grundlagenforschung in den letzten fünfundsiebzig Jahren. Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 68 , pp. 75–96. [REVIEW]J. van Heijenoort - 1968 - Journal of Symbolic Logic 33 (1):112-112.
- G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):527-528.
- Minc G. É.. Skolèmovskij métod eliminacii položitél'nyh kvantorov v sékvéncial'nyh isčisléniáh. Doklady Akadémii Nauk SSSR, vol. 169 , pp. 24–27.Minc G. E.. Skolem's method of elimination of positive quantifiers in sequential calculi. English translation of the preceding by Ebner L.. Soviet mathematics, vol. 7 no. 4 , pp. 861–864. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):526-527.
- Review: G. E. Minc, Priložénié. Téoréma Erbrana (Appendix. Herbrand's Theorem). [REVIEW]J. van Heijenoort - 1970 - Journal of Symbolic Logic 35 (2):323-325.
- Martin R.. Logique mathématique. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 52–53.Sabbagh G.. Logique mathématique. 1. Généralités. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 53–56.Reznikoff I.. Logique mathématique. 2. Théorie lie la démonstration et intuitionnisme. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 57–64.Sabbagh G.. Logique mathématique. 3. Théorie des modèles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 65–66.Sabbagh G.. Logique mathématique. 4. Théorie axiomatique des ensembles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 66–71.Sabbagh G.. Logique mathématique. 5. Décidabilité et fonctions récursives. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 71–73. [REVIEW]J. van Heijenoort - 1973 - Journal of Symbolic Logic 38 (2):341-341.
- N. I. Stážkin. Formirovanié matématičéskoj logiki . Izdatél′stvo “Nauka.”Moscow1967. 508 pp. [REVIEW]J. van Heijenoort - 1968 - Journal of Symbolic Logic 33 (3):465.
- Review: Alberto Pasquinelli, Introduzione alla Logica Simbolica. [REVIEW]J. van Heijenoort - 1967 - Journal of Symbolic Logic 32 (1):105-105.Export citation Bookmark
- Review: G. E. Mints, A. O. Slisenko, Disjunctive Interpretation of the LJ Calculus. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):527-528.
- Review: G. E. Minc, L. Ebner, Skolem's Method of Elimination of Positive Quantifiers in Sequential Calculi. [REVIEW]J. van Heijenoort - 1971 - Journal of Symbolic Logic 36 (3):526-527.
- Review: Gerold Stahl, Aspectos Formales de Algunas Paradojas Semanticas. [REVIEW]J. van Heijenoort - 1969 - Journal of Symbolic Logic 34 (1):140-140.
- Review: Gerold Stahl, La Verdad Desde el Punto de Vista Logico-Matematico. [REVIEW]J. van Heijenoort - 1969 - Journal of Symbolic Logic 34 (1):140-140.
- 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]J. van Heijenoort - 1966 - Journal of Symbolic Logic 31 (4):675-675.
- Review: N. I. Stazkin, Formation of Mathematical Logic. [REVIEW]J. van Heijenoort - 1968 - Journal of Symbolic Logic 33 (3):465-465.
- Review: R. Martin, G. Sabbagh, Encyclopedia Universalis. [REVIEW]J. van Heijenoort - 1973 - Journal of Symbolic Logic 38 (2):341-341.
- 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.
- 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.
- Introduction à la sémantique des logiques non-classiques.Jean Van Heijenoort - 1979 - Paris: J. Van Heijenoort.
- 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
- A Note on Empiricism.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):213-214.
- Les Idées Actuelles sur la Structure de la Penseé Logique.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):29-29.
- The Basic Laws of Arithmetic: Exposition of the System. [REVIEW]John van Heijenoort - 1966 - Journal of Philosophy 63 (1):28-28.
- On Careful Reasoning in Ordinary Language.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
- Natural and Scientific Language.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
- With Trotsky in Exile: From Prinkipo to Coyoacán.Jean van Heijenoort - 1979 - Studies in Soviet Thought 20 (4):391-396.
- 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.
- De gevaren van het relativisme.J. Van Gennep - 1970 - Kampen,: Kok.
- 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. [REVIEW]John van Heijenoort & Jean Ladriere - 1959 - Journal of Philosophy 56 (7):333-337.
- Het Nuctemeron van Apollonius van Tyana.J. Van Rijckenborgh - 1969 - Haarlem,: Rozekruis-Pers.Export citation Bookmark
- Leibniz Critique de Descartes. [REVIEW]John van Heijenoort - 1961 - Journal of Philosophy 58 (2):53-55.
- Begrippen in het onderwijs: de theorie van Davydov.J. Haenen, B. van Oers & V. V. Davydov (eds.) - 1983 - Amsterdam: Pegasus.
- 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 ...
- Introduction to the Basic Concepts and Problems of Modern Logic. [REVIEW]Jean Van Heijenoort - 1973 - Journal of Philosophy 70 (3):86-86.
| 1 — 50 / 999 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-5tf24 uwo