- 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 'G. Hasenjaeger'
990 found
Order:
- Uber die Beziehung Zwischen Strikter und Strenger Implikation.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-349.
- "Cogito ergo sum"--Raisonnement ou Intuition?G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-350.
- Propositional Calculus.G. Hasenjaeger - 1965 - Journal of Symbolic Logic 30 (3):357-357.
- Le Probléme du Language et L'Ouverture a L'Expérience.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):226-226.
- Blick von der Intuitionistischen Warte.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):227-228.
- Paul Bernays und die Begründung der Mengenlehre.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):350-350.
- Über Einige Neuere Untersuchungen zur Modalitätenlogik.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):230-230.
- Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Gödel.G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
- Mathematical interpretation of formal systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam: North-Holland Pub. Co..
- Eine bemerkung zu Henkin's beweis für die vollständigkeit Des prädikatenkalküls der ersten stufe.G. Hasenjaeger - 1953 - Journal of Symbolic Logic 18 (1):42-48.
- Grundzüge der Mathematischen Logik.H. Scholz & G. Hasenjaeger - 1962 - Synthese 14 (2):226-228.No categories
- Behmann Heinrich. Der Prädikatenkalkül mil limitierten Variablen. Grundlegung einer naturlichen exakten Logik.G. Hasenjaeger - 1975 - Journal of Symbolic Logic 40 (4):583-584.
- Über $\omega$ -Unvollständigkeit in der Peano-Arithmetik.G. Hasenjaeger - 1952 - Journal of Symbolic Logic 17 (4):271-272.
- Calculuses and Formaly Systems.G. Hasenjaeger & Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4).
- Ein Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (2):268-268.
- Fraenkel Abraham A.. Paul Bernays und die Begründung der Mengenlehre. Ebd., S. 70–75; auch ebd., S. 274–279.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):350-350.
- Formales und Produktives Schließen.G. Hasenjaeger - 1964 - Journal of Symbolic Logic 29 (1):59-59.
- L. Novak Gál. A note on direct products. The journal of symbolic logic, vol. 23 no. 1 , pp. 1–6.G. Hasenjaeger - 1971 - Journal of Symbolic Logic 36 (3):541.
- Mostowski A.. Contributions to the theory of definable sets and functions. Ebd., S. 271–275.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):365-365.
- Mostowski A.. On computable sequences. Ebd., S. 37–51.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):367-367.
- Mostowski A.. On a generalization of quantifiers. Ebd., Bd. 44 , S. 12–36.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):365-366.
- Prädikatenvariablen in der Zahlentheorie.G. Hasenjaeger - 1978 - Dialectica 32 (3‐4):209-220.No categories
- The Basic Laws of Aritmetic; Exposition of System.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (4):671.
- Uber ω-unvollstandigkeit in der peano-arithmetik.G. Hasenjaeger - 1952 - Journal of Symbolic Logic 17 (2):81-97.
- Was ist cantors continuumproblem nicht?G. Hasenjaeger - 1966 - Kant Studien 57 (1-4):373-377.No categories
- Was ist Cantors Continuumproblem nicht?G. Hasenjaeger - 1966 - Société Française de Philosophie, Bulletin 57 (1):373.No categoriesExport citation
Bookmark - Kreisel G. and Wang H.. Applications of formalized consistency proofs II. Fundamenta mathematicae, vol. 45 no. 3 , pp. 334–335. [REVIEW]G. Hasenjaeger - 1965 - Journal of Symbolic Logic 30 (1):99.
- Kreisel G.. Note on arithmetic models for consistent formulae of the predicate calculus II. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam 1953, und Éditions E. Nauwelaerts, Leuven 1953, S. 39–49. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):403-404.
- Kreisel G. und Wang Hao. Some applications of formalized consistency proofs. Fundamenta mathematicae, Bd. 42 , S. 101–110. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):404-405.
- Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW]G. Hasenjaeger & Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-101.
- Review: G. Kreisel, Hao Wang, Some Applications of Formalized Consistency Proofs. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):404-405.
- Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):403-404.
- Montgomery Furth. Editor's introduction. The basic laws of arithmetic, Exposition of the system, by Gottlob Frege, translated and edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, pp. v–lvii. - G. Frege. Introduction. English translation of pp. v–xxvi of 4910. The basic laws of arithmetic, Exposition of the system, by Gottlob Frege, translated and edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, pp. 1-25. - Gottlob Frege. Exposition of the Begriffsschrift. English translation of pp. 1–69 of 49/0. The basic laws of arithmetic, Exposition of the system, by Gottlob Frege, translated and edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, pp. 29–119. - Gottlob Frege. Appendix I. Derivation of “⊢ f = a ◠ἐ”. English translation of parts of §§54, 55, and 91 of 4910. The basic laws of arithmetic, Exposition of the system, by Gottlob Frege, translated and edited by Montgomery F. [REVIEW]G. Hasenjaeger - 1997 - Journal of Symbolic Logic 31 (4):671-672.
- Amitabha Ghose. Konstruktive Grundlagen der Logik. Sonne Verlag, New Delhi1966, vi + 40 + 2 pp. [REVIEW]G. Hasenjaeger - 1967 - Journal of Symbolic Logic 32 (4):518.
- Ferdinand Gonseth. Le problème du language et l'ouverture à l′expérience. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique 34, Éditions du Griffon, Neuch'tel 1959, S. 84–91; auch Dialectica, Bd. 12 , S. 288–295. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):230-230.
- Ackermann Wilhelm. Über die Beziehung zwischen strikter und strenger Implikation. Deutsch, mit deutschem, französischem und englischem Résumé. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique no. 34, Editions du Griffon, Neuch'tel 1959, S. 9–18; auch Dialectica Bd. 12 , S. 213–222. [REVIEW]G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-349.
- Beth Evert W.. “Cogito ergo sum” — raisonnement ou intuition? Französisch, mit französischem, deutschem und englischem Résumé. Ebd., S. 19–31; auch ebd., S. 223–235. [REVIEW]G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-350.
- Ferdinand Gonseth. Le problème du language et l'ouverture à l′expérience. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique 34, Éditions du Griffon, Neuch'tel 1959, S. 84–91; auch Dialectica, Bd. 12 , S. 288–295. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):226-226.
- Gödel Kurt. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Deutsch, mit deutschem und englischem Résumé. Ebd., S. 76–83; auch ebd., S. 280–287. [REVIEW]G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):351-351.
- Goodstein R. L.. On the nature of mathematical systems. Englisch, mit englischem und französischem Résumé. Ebd., S. 92–112; auch ebd., S. 296–316. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):226-227.
- Heyting A.. Blich von der intuitionistischen Warte. Deutsch, mit deutschem, französischem und englischem Résumé. Ebd., S. 128–141; auch edb., S. 332–345. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):227-228.
- Heinrich Behmann. Der Prädikatenkalkül mil limitierten Variablen. Grundlegung einer naturlichen exakten Logik. The journal of symbolic logic, vol. 24 no. 2 , pp. 112–140. - Heinrich Behmann. Das Russellsche Paradoxon und die formale Logik. Atti del XII Congresso Internazionale di Filosofia , Volume quinto, Logica, gnoseologia, filosofia delta scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 45–54. [REVIEW]G. Hasenjaeger - 1975 - Journal of Symbolic Logic 40 (4):583-584.
- Kreisel Georg. Hilbert's programme. Englisch, mit englischem und deutschem Résumé. Ebd., S. 142–168; auch ebd., S. 346–372. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):228-229.
- Mostowski Andrzej. Development and applications of the “projective” classification of sets of integers. Proceedings of the International Congress of Mathematicians 1954, Amsterdam September 2-September 9, Volume III, 1956, Erven P. Noordhoff N.V., Groningen, und North-Holland Publishing Co., Amsterdam, S. 280–288. [REVIEW]G. Hasenjaeger - 1958 - Journal of Symbolic Logic 23 (1):44-45.
- Mostowski A.. Examples of sets definable by means of two and three quantifiers. Fundamenta mathematicae, Bd. 42 , S. 259–270. [REVIEW]G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):364-365.
- Mostowski A.. On a system of axioms which has no recursively enumerable arithmetic model. Fundamenta mathematicae, Bd. 40 , S. 56–61.Mostowski A.. A formula with no recursively enumerable model. Ebd., Bd. 42 , S. 125–140. [REVIEW]G. Hasenjaeger - 1958 - Journal of Symbolic Logic 23 (1):45-45.
- Mostowski Andrzej. Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1952, VIII + 117 pp. [REVIEW]G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
- Montague R.. Semantical closure and non-finite axiomatizability I. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 45–69. [REVIEW]G. Hasenjaeger - 1964 - Journal of Symbolic Logic 29 (1):59-60.
- P. H. Nidditch. The development of mathematical logic. Monographs in modern logic. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1962, viii + 88 pp. [REVIEW]G. Hasenjaeger - 1965 - Journal of Symbolic Logic 30 (3):357-357.
- Review: A. Heyting, Blick von der Intuitionistischen Warte. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):227-228.
| 1 — 50 / 990 |
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-64dd777598-vk9kt uwo