85 found
Order:
Disambiguations
G. Hasenjaeger [79]Gisbert Hasenjaeger [12]
  1.  9
    Grundzüge der Mathematischen Logik.Heinrich Scholz & G. Hasenjaeger - 1961 - Springer.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  2.  1
    Mathematical Interpretation of Formal Systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam, Netherlands: North-Holland Pub. Co..
  3.  23
    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.
  4.  10
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Grundzüge der Mathematischen Logik.H. Scholz & G. Hasenjaeger - 1962 - Synthese 14 (2):226-228.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  6.  22
    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.
  7.  16
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. 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.
  9. Mostowski A.. On a Generalization of Quantifiers. Ebd., Bd. 44 , S. 12–36.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):365-366.
  10. 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.
  11. Review: A. Mostowski, Contribution to the Theory of Definable Sets and Functions. [REVIEW]G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):365-365.
  12. 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  
  13. Review: Georg Kreisel, Hilbert's Programme. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):228-229.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Review: Wilhelm Ackerman, Uber die Beziehung Zwischen Strikter und Strenger Implikation. [REVIEW]G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-349.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Was ist Cantors Continuumproblem nicht?G. Hasenjaeger - 1966 - Société Française de Philosophie, Bulletin 57 (1):373.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  21
    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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  17. Review: Wilhelm K. Essler, Einfuhrung in die Logik. [REVIEW]G. Hasenjaeger - 1980 - Journal of Symbolic Logic 45 (2):381-382.
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  19
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  20
    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
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  8
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  8
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  15
    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.
  23.  14
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  13
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Review: R. Montague, Semantical Closure and Non-Finite Axiomatizability I. [REVIEW]G. Hasenjaeger - 1964 - Journal of Symbolic Logic 29 (1):59-60.
  26.  12
    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.
  27.  15
    Review: G. Kreisel, Hao Wang, Some Applications of Formalized Consistency Proofs. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):404-405.
  28.  22
    Uber Ω-Unvollstandigkeit in der Peano-Arithmetik.G. Hasenjaeger - 1952 - Journal of Symbolic Logic 17 (2):81-97.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  29.  14
    Review: Alice Ambrose, Morris Lazerowitz, Fundamentals of Symbolic Logic. [REVIEW]Gisbert Hasenjaeger - 1949 - Journal of Symbolic Logic 14 (3):191-191.
  30.  10
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  10
    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.
  32.  11
    Le Probléme du Language Et L'Ouverture a L'Expérience.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):226-226.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  9
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  9
    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.
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  9
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  10
    Uber die Beziehung Zwischen Strikter und Strenger Implikation.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-349.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  8
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  8
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  8
    The Basic Laws of Aritmetic; Exposition of System.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (4):671.
  40.  9
    Prädikatenvariablen in der Zahlentheorie.G. Hasenjaeger - 1978 - Dialectica 32 (3‐4):209-220.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  9
    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.
  42. Einführung in Die Grundbegriffe Und Probleme der Modernen Logik.G. Hasenjaeger - 1962 - K. Alber.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  43.  11
    Introduction to the Basic Concepts and Problems of Modern Logic.Gisbert Hasenjaeger - 1971 - Dordrecht, Netherland: Dordrecht-Holland, D. Reidel Pub. Co..
    The field of modern logic is too extensive to be worked through by open cast mining. To open it up, we need to sink shafts and construct adits. This is the method of most text books: a systematic exposition of a number of main topics, supplemented by exercises to teach skill in the appurtenant techniques, lays a secure foundation for subsequent dis cussion of selected questions. Compared with this, the present treatment is more like a network of exploratory drillings to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  8
    Review: H. Arnold Schmidt, Uber Einige Neuere Untersuchungen zur Modalitatenlogik. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):230-230.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  8
    Blick von der Intuitionistischen Warte.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):227-228.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  7
    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.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  7
    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.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  7
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  7
    Mostowski A.. On Computable Sequences. Ebd., S. 37–51.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):367-367.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  7
    Review: Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Godel. [REVIEW]G. Hasenjaeger - 1954 - Journal of Symbolic Logic 19 (2):119-121.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 85