- 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
Works by van Heijenoort, J. (exact spelling)
30 found
Order:
- 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.
- 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.
- The Collected Papers of Gerhard Gentzen.J. van Heijenoort - 1972 - Philosophy of Science 39 (1):91-91.
- Introduzione alla Logica Simbolica.J. van Heijenoort - 1967 - Journal of Symbolic Logic 32 (1):105-105.
- 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.
- Book Review:The Collected Papers of Gerhard Gentzen M. E. Szabo. [REVIEW]J. van Heijenoort - 1972 - Philosophy of Science 39 (1):91-.
- 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.
- 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.
- 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: 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.
- Review: R. Martin, G. Sabbagh, Encyclopedia Universalis. [REVIEW]J. van Heijenoort - 1973 - Journal of Symbolic Logic 38 (2):341-341.
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-8fb5884b9-srv9n uwo