Hasenjaeger, G. (Gisbert) 1919
Overview
Works:  19 works in 95 publications in 4 languages and 1,412 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Honoree, Creator 
Classifications:  BC135, 511.3 
Publication Timeline
.
Most widely held works by
G Hasenjaeger
Introduction to the basic concepts and problems of modern logic by
G Hasenjaeger(
Book
)
44 editions published between 1932 and 1986 in 4 languages and held by 587 WorldCat member libraries worldwide
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 show that it would be worthwhile to start mining operations, or to work the existing shafts and adits, as the case may be. Within this metaphor we may also describe the inherent weakness of this conception: once a cavity is pierced, the duct's capacity will in general not be sufficient to carry away the discovered riches. But whether we are concerned with a new or an already worked mine  at any rate, the experience should stimulate us into either reviving an existing system of shafts or even, in particularly fortunate cases, designing a new ap proach
44 editions published between 1932 and 1986 in 4 languages and held by 587 WorldCat member libraries worldwide
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 show that it would be worthwhile to start mining operations, or to work the existing shafts and adits, as the case may be. Within this metaphor we may also describe the inherent weakness of this conception: once a cavity is pierced, the duct's capacity will in general not be sufficient to carry away the discovered riches. But whether we are concerned with a new or an already worked mine  at any rate, the experience should stimulate us into either reviving an existing system of shafts or even, in particularly fortunate cases, designing a new ap proach
Grundzüge der mathematischen Logik by
Heinrich Scholz(
Book
)
17 editions published between 1961 and 2013 in German and English and held by 394 WorldCat member libraries worldwide
17 editions published between 1961 and 2013 in German and English and held by 394 WorldCat member libraries worldwide
Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May
2328, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen by
E Börger(
Book
)
10 editions published in 1984 in English and German and held by 290 WorldCat member libraries worldwide
10 editions published in 1984 in English and German and held by 290 WorldCat member libraries worldwide
Mathematical interpretation of formal systems by
Wiskundig Genootschap (Netherlands)(
Book
)
5 editions published between 1955 and 1971 in English and held by 12 WorldCat member libraries worldwide
5 editions published between 1955 and 1971 in English and held by 12 WorldCat member libraries worldwide
Logic and machines decision problems and complexity : proceedings : of the symposium Rekursive Kombinatorik held from May
2328, 1983 at the Institut fur Matematische Logik und Grundlagenforshung der Universitat Munster, Westfalen by
Egon Boerger(
Book
)
1 edition published in 1984 in English and held by 9 WorldCat member libraries worldwide
1 edition published in 1984 in English and held by 9 WorldCat member libraries worldwide
Logic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik"; Münster, May
2328, 1983 by
E Börger(
Book
)
2 editions published in 1984 in English and held by 7 WorldCat member libraries worldwide
2 editions published in 1984 in English and held by 7 WorldCat member libraries worldwide
Set theory and model theory : proceedings of an informal symposium held at Bonn, June 13, 1979 by
Ronald Björn Jensen(
Book
)
1 edition published in 1981 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1981 in English and held by 3 WorldCat member libraries worldwide
[Einführung in die Grundbegriffe und Probleme der modernen Logik.] Introduction to the basic concepts and problems of modern
logic. (Translated ... by E.C.M. Mays.) by
G Hasenjaeger(
Book
)
1 edition published in 1972 in German and held by 2 WorldCat member libraries worldwide
1 edition published in 1972 in German and held by 2 WorldCat member libraries worldwide
Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls by
G Hasenjaeger(
Book
)
2 editions published in 1950 in German and held by 2 WorldCat member libraries worldwide
2 editions published in 1950 in German and held by 2 WorldCat member libraries worldwide
Vorlesungen über Grundzüge der mathematicschen Logik by
Heinrich Scholz(
Book
)
2 editions published between 1949 and 1951 in German and held by 2 WorldCat member libraries worldwide
2 editions published between 1949 and 1951 in German and held by 2 WorldCat member libraries worldwide
Widerspruchsfreie Axiomensysteme ohne StandardModell by
G Hasenjaeger(
Book
)
1 edition published in 1953 in German and held by 1 WorldCat member library worldwide
1 edition published in 1953 in German and held by 1 WorldCat member library worldwide
Introduction to the basic concepts and problems of modern logic (Einführung in die Grundbegriffe und Probleme der moderne
Logik, engl. Transl. from the German by E.C.M.Mays.) by
G Hasenjaeger(
Book
)
1 edition published in 1972 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 1972 in Undetermined and held by 1 WorldCat member library worldwide
Das Entscheidungsproblem im Prädikatenkalkül der ersten Stufe by
Karl Schröter(
Book
)
1 edition published in 1948 in German and held by 1 WorldCat member library worldwide
1 edition published in 1948 in German and held by 1 WorldCat member library worldwide
Verschiedene kleinere Veröffentlichungen aus dem Gebiete der Mathematik(
Book
)
in German and held by 1 WorldCat member library worldwide
in German and held by 1 WorldCat member library worldwide
Logic and machines: decision problems and complexity : proceedings of the symposium "rekursive Kombinatorik" held from May
2328, 1983 at the Institut fur mathematische Logik unf Grondlagenforschung der Universitat Munster/Westfalen(
Book
)
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Rekursive kombinatorik : Logic and machines: decision problems and complexity ; Symposium. proceedings 2328 may 1983(
Book
)
1 edition published in 1984 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 1984 in English and held by 0 WorldCat member libraries worldwide
Erweiterung der Prädikatenlogik by
G Hasenjaeger(
Book
)
1 edition published in 1959 in German and held by 0 WorldCat member libraries worldwide
1 edition published in 1959 in German and held by 0 WorldCat member libraries worldwide
Logic and Machines: Decision Problems and Complexity Proceedings of the Symposium "Rekursive Kombinatorik" held from May 2328,
1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster /Westf by
E Börger(
)
2 editions published in 1984 in English and held by 0 WorldCat member libraries worldwide
2 editions published in 1984 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Scholz, Heinrich 18841956 Author
 Rödding, D. (Dieter) 1937 Editor
 Börger, E. (Egon) 1946 Author Editor
 Mays, E.C.M.
 Skolem, Thoralf Author
 Boerger, Egon
 Kreisel, G.
 Börger, Egon Author
 Robinson, A.
 Wang, Hao
Useful Links