85 found
Order:
Disambiguations
G. Hasenjaeger [80]Gisbert Hasenjaeger [11]
  1.  8
    Grundzüge der Mathematischen Logik.Heinrich Scholz & G. Hasenjaeger - 1961 - Springer.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  2. Mathematical Interpretation of Formal Systems.Th Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, H. Wang, L. Henkin & J. Łoś (eds.) - 1955 - 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.  18
    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.
  5.  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  
  6.  8
    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  
  7.  7
    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  
  8.  7
    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  
  9.  19
    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  
  10.  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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  18
    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  
  12.  3
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13.  9
    Calculuses and Formaly Systems.G. Hasenjaeger & Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4).
  14. Review: Wilhelm K. Essler, Einfuhrung in die Logik. [REVIEW]G. Hasenjaeger - 1980 - Journal of Symbolic Logic 45 (2):381-382.
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  14
    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.
  16.  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  
  17. Grundzüge der Mathematischen Logik.H. Scholz & G. Hasenjaeger - 1962 - Synthese 14 (2):226-228.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  18.  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.
  19.  11
    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  
  20. Einführung in Die Grundbegriffe Und Probleme der Modernen Logik.G. Hasenjaeger - 1962 - K. Alber.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  21.  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  
  22.  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.
  23.  14
    Review: Alice Ambrose, Morris Lazerowitz, Fundamentals of Symbolic Logic. [REVIEW]Gisbert Hasenjaeger - 1949 - Journal of Symbolic Logic 14 (3):191-191.
  24.  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  
  25. Review: R. Montague, Semantical Closure and Non-Finite Axiomatizability I. [REVIEW]G. Hasenjaeger - 1964 - Journal of Symbolic Logic 29 (1):59-60.
  26.  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  
  27.  9
    Über Eine Art Von Unvollständigkeit Des Prädikaten-Kalküls der Ersten Stufe.Gisbert Hasenjaeger - 1950 - Journal of Symbolic Logic 15 (4):273-276.
  28.  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  
  29.  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  
  30.  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  
  31.  13
    Review: G. Kreisel, Hao Wang, Some Applications of Formalized Consistency Proofs. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):404-405.
  32.  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  
  33.  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  
  34.  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  
  35.  8
    The Basic Laws of Aritmetic; Exposition of System.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (4):671.
  36.  9
    Prädikatenvariablen in der Zahlentheorie.G. Hasenjaeger - 1978 - Dialectica 32 (3‐4):209-220.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  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  
  38.  8
    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.
  39.  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  
  40.  8
    Blick von der Intuitionistischen Warte.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):227-228.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  6
    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  
  42.  6
    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  
  43.  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  
  44.  5
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  6
    Über $\Omega$ -Unvollständigkeit in der Peano-Arithmetik.G. Hasenjaeger - 1952 - Journal of Symbolic Logic 17 (4):271-272.
  46.  5
    Ambrose Alice Und Lazebowitz Morris. Fundamentals of Symbolic Logic. Rinehart & Company, Inc., New York 1948, Ix + 310 S. [REVIEW]Gisbert Hasenjaeger - 1949 - Journal of Symbolic Logic 14 (3):191-191.
  47.  5
    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.
    Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  5
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  5
    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.  5
    Reichenbach Hans. Philosophische Grundlagen der Quantenmechanik. Übersetzt von Maria Reichenbach. Verlag Birkhäuser, Basel 1949, 198 S. [REVIEW]G. Hasenjaeger - 1951 - Journal of Symbolic Logic 16 (4):289-290.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 85