WorldCat Identities

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
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

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

Logic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik"; Münster, May 23-28, 1983 by E Börger( Book )

2 editions published in 1984 in English and held by 7 WorldCat member libraries worldwide

Logik und ontologie by G Hasenjaeger( )

in German and held by 4 WorldCat member libraries worldwide

Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 by Ronald Björn Jensen( Book )

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

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

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

Widerspruchsfreie Axiomensysteme ohne Standard-Modell by G Hasenjaeger( Book )

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

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

Verschiedene kleinere Veröffentlichungen aus dem Gebiete der Mathematik( Book )

in German and held by 1 WorldCat member library worldwide

Rekursive kombinatorik : Logic and machines: decision problems and complexity ; Symposium. proceedings 23-28 may 1983( Book )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.52 for Logic and ... to 1.00 for Rekursive ...)

Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/WestfalenLogic and machines decision problems and complexity : proceedings : of the symposium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut fur Matematische Logik und Grundlagenforshung der Universitat Munster, WestfalenLogic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik"; Münster, May 23-28, 1983Rekursive kombinatorik : Logic and machines: decision problems and complexity ; Symposium. proceedings 23-28 may 1983Logic and Machines: Decision Problems and Complexity Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster /Westf
Alternative Names
Gisbert Hasenjaeger deutscher Logiker

Gisbert Hasenjaeger Duits logicus (1919-2006)

Gisbert Hasenjaeger German mathematician

Hasenjaeger, G.

Hasenjaeger, Gisbert

Hasenjaeger, Gisbert 1919-

Languages
German (44)

English (42)

Spanish (7)

Dutch (1)

Covers
Logic and machines decision problems and complexity : proceedings : of the symposium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut fur Matematische Logik und Grundlagenforshung der Universitat Munster, WestfalenLogic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik"; Münster, May 23-28, 1983Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979Rekursive kombinatorik : Logic and machines: decision problems and complexity ; Symposium. proceedings 23-28 may 1983Logic and Machines: Decision Problems and Complexity Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster /Westf