- 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 G. Hasenjaeger
84 found
Order:
Disambiguations
Disambiguations:
| G. Hasenjaeger [79] | Gisbert Hasenjaeger [12] |
- Grundzüge der mathematischen Logik.Heinrich Scholz & G. Hasenjaeger - 1961 - Berlin,: Springer. Edited by Hasenjaeger, Gisbert & [From Old Catalog].
- 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.
- 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.
- Grundzüge der Mathematischen Logik.H. Scholz & G. Hasenjaeger - 1962 - Synthese 14 (2):226-228.No categories
- 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 a generalization of quantifiers. Ebd., Bd. 44 , S. 12–36.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):365-366.
- Review: Andrzej Mostowski, Development and Applications of the "Projective" Classification of Sets of Integers. [REVIEW]G. Hasenjaeger - 1958 - Journal of Symbolic Logic 23 (1):44-45.
- Review: A. Mostowski, Contribution to the Theory of Definable Sets and Functions. [REVIEW]G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):365-365.
- Review: Evert W. Beth, "Cogito ergo sum"--Raisonnement ou Intuition? [REVIEW]G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-350.Export citation
Bookmark - Review: Georg Kreisel, Hilbert's Programme. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):228-229.
- Review: Wilhelm Ackerman, Uber die Beziehung Zwischen Strikter und Strenger Implikation. [REVIEW]G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-349.
- Was ist Cantors Continuumproblem nicht?G. Hasenjaeger - 1966 - Société Française de Philosophie, Bulletin 57 (1):373.No categoriesExport citation Bookmark
- 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.
- 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.
- Review: Wilhelm K. Essler, Einfuhrung in die Logik. [REVIEW]G. Hasenjaeger - 1980 - Journal of Symbolic Logic 45 (2):381-382.Export citation Bookmark
- Robinson Abraham. Relative model-completeness and the elimination of quantifiers. Englisch, mit englischem, deutschem und französischem Zusammenfassung. Ebd., S. 190–203; auch ebd., S. 394–407.Robinson Abraham. Relative model-completeness and the elimination of quantifiers. Eine Abkürzung desselben. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2. Auflage, Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, S. 155–159. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):229-230.
- Zur Axiomatisierung derk-zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (12-16):175-177.No categories
- 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.
- Review: R. Montague, Semantical Closure and Non-Finite Axiomatizability I. [REVIEW]G. Hasenjaeger - 1964 - Journal of Symbolic Logic 29 (1):59-60.Export citation Bookmark
- Skolem Th.. Reduction of axiom systems with axiom schemes to systems with only simple axioms. Ebd., S. 239–246; auch ebd., S. 443–450. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):232-232.
- 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.
- 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.
- Wilhelm K. Essler. Einführung in die Logik. Alfred Kröner Verlag, Stuttgart1966, 239 pp. [REVIEW]G. Hasenjaeger - 1980 - Journal of Symbolic Logic 45 (2):381-382.
- 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.
- 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.
- Uber ω-unvollstandigkeit in der peano-arithmetik.G. Hasenjaeger - 1952 - Journal of Symbolic Logic 17 (2):81-97.
- Review: Alice Ambrose, Morris Lazerowitz, Fundamentals of Symbolic Logic. [REVIEW]Gisbert Hasenjaeger - 1949 - Journal of Symbolic Logic 14 (3):191-191.
- Review: G. Kreisel, Hao Wang, Some Applications of Formalized Consistency Proofs. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):404-405.
- 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.
- 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.
- 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.
- Le Probléme du Language et L'Ouverture a L'Expérience.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):226-226.
- 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.
- Reviews. R. Feys. Note complémentaire sur les méthodes de déduction naturelle. Revue philosophique de Louvain, Bd. 45 , S. 60–72. [REVIEW]G. Hasenjaeger - 1948 - Journal of Symbolic Logic 13 (2):114-114.
- Uber die Beziehung Zwischen Strikter und Strenger Implikation.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-349.
- Prädikatenvariablen in der Zahlentheorie.G. Hasenjaeger - 1978 - Dialectica 32 (3‐4):209-220.No categories
- 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.
- Blick von der Intuitionistischen Warte.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):227-228.
- 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.
- 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.
- The Basic Laws of Aritmetic; Exposition of System.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (4):671.
- Review: H. Arnold Schmidt, Uber Einige Neuere Untersuchungen zur Modalitatenlogik. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):230-230.
- Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW]G. Hasenjaeger & Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-101.
- 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.
- 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.
- 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.
- Mostowski A.. On computable sequences. Ebd., S. 37–51.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):367-367.
- 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.
- Review: P. H. Nidditch, The Development of Mathematical Logic. [REVIEW]G. HasenJaeger - 1965 - Journal of Symbolic Logic 30 (3):357-357.Export citation Bookmark
| 1 — 50 / 84 |
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-665bdd4886-nhzx9 N