84 found
Order:
Disambiguations
G. Hasenjaeger [77]Gisbert Hasenjaeger [14]
  1.  32
    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.
  2.  15
    Grundzüge der mathematischen Logik.Heinrich Scholz & Gisbert Hasenjaeger - 1961 - Berlin,: Springer. Edited by Hasenjaeger, Gisbert & [From Old Catalog].
  3.  11
    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..
  4.  14
    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   3 citations  
  6.  13
    Uber die Beziehung Zwischen Strikter und Strenger Implikation.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-349.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  8
    "Cogito ergo sum"--Raisonnement ou Intuition?G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):349-350.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  2
    Paul Bernays und die Begründung der Mengenlehre.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):350-350.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  13
    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  
  10.  18
    Ü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.
  11.  14
    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)  
     
    Export citation  
     
    Bookmark  
  12.  9
    Über $\omega$ -Unvollständigkeit in der Peano-Arithmetik.G. Hasenjaeger - 1952 - Journal of Symbolic Logic 17 (4):271-272.
  13.  10
    Calculuses and Formaly Systems.G. Hasenjaeger & Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4).
  14.  8
    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  
  15.  16
    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)  
     
    Export citation  
     
    Bookmark  
  16.  1
    Formales und Produktives Schließen.G. Hasenjaeger - 1964 - Journal of Symbolic Logic 29 (1):59-59.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  13
    Introduction to the basic concepts and problems of modern logic.Gisbert Hasenjaeger - 1972 - 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  
  18.  11
    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  
  19.  1
    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.
  20.  11
    Mostowski A.. On computable sequences. Ebd., S. 37–51.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):367-367.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  1
    Mostowski A.. On a generalization of quantifiers. Ebd., Bd. 44 , S. 12–36.G. Hasenjaeger - 1960 - Journal of Symbolic Logic 25 (4):365-366.
  22.  11
    Prädikatenvariablen in der Zahlentheorie.G. Hasenjaeger - 1978 - Dialectica 32 (3‐4):209-220.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  9
    The Basic Laws of Aritmetic; Exposition of System.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (4):671.
  24.  23
    Uber ω-unvollstandigkeit in der peano-arithmetik.G. Hasenjaeger - 1952 - Journal of Symbolic Logic 17 (2):81-97.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  25.  7
    Was ist cantors continuumproblem nicht?G. Hasenjaeger - 1966 - Kant Studien 57 (1-4):373-377.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Was ist Cantors Continuumproblem nicht?G. Hasenjaeger - 1966 - Société Française de Philosophie, Bulletin 57 (1):373.
    No categories
     
    Export citation  
     
    Bookmark  
  27.  5
    Zur Axiomatisierung der k‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Gisbert Hasenjaeger - 1958 - Mathematical Logic Quarterly 4 (12‐16):175-177.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  22
    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  
     
    Export citation  
     
    Bookmark  
  29.  10
    Blick von der Intuitionistischen Warte.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):227-228.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  7
    Propositional Calculus.G. Hasenjaeger - 1965 - Journal of Symbolic Logic 30 (3):357-357.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  2
    Über Einige Neuere Untersuchungen zur Modalitätenlogik.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):230-230.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  1
    Fundamentals of Symbolic Logic.Gisbert Hasenjaeger - 1949 - Journal of Symbolic Logic 14 (3):191-191.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  8
    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.
  34.  12
    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)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  10
    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)  
     
    Export citation  
     
    Bookmark  
  36.  11
    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)  
     
    Export citation  
     
    Bookmark  
  37.  4
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  3
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  22
    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.
  41.  7
    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)  
     
    Export citation  
     
    Bookmark  
  42.  22
    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)  
     
    Export citation  
     
    Bookmark  
  43.  13
    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  
  44.  14
    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)  
     
    Export citation  
     
    Bookmark  
  45.  9
    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  
  46.  13
    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  
  47.  26
    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  
  48.  6
    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.
  49.  3
    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.
  50.  21
    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.
1 — 50 / 84