WorldCat Identities

Hasenjaeger, G. (Gisbert) 1919-

Overview
Works: 19 works in 81 publications in 4 languages and 1,353 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Honoree
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 )
30 editions published between 1932 and 1972 in 4 languages and held by 551 WorldCat member libraries worldwide
Grundzüge der mathematischen Logik by Heinrich Scholz( Book )
16 editions published between 1961 and 2013 in German and held by 383 WorldCat member libraries worldwide
Conceptos y problemas de la lógica moderna by G Hasenjaeger( Book )
6 editions published between 1968 and 1986 in Spanish and held by 24 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 11 WorldCat member libraries worldwide
Mathematical intrepretation of formal systems by Th Skolem( )
1 edition published in 2000 in English and held by 7 WorldCat member libraries worldwide
Provability, Computability and Reflection
Logic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik"; Münster, May 23-28, 1983 ( Book )
1 edition published in 1984 in English and held by 6 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 : Informal symposium. proceedings. 1-3 june 1979 ( Book )
1 edition published in 1981 in English and held by 3 WorldCat member libraries worldwide
Logic and Machines Decision Problems and Complexity by E Borger( Book )
1 edition published in 1984 in English and held by 1 WorldCat member library 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
Verschiedene kleinere Veröffentlichungen aus dem Gebiete der Mathematik ( Book )
in German and held by 1 WorldCat member library worldwide
Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls by Gisbert Hasenjaeger( Book )
1 edition published in 1950 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.77 (from 0.00 for Logik und ... to 0.82 for Logic and ...)
Alternative Names
Hasenjaeger, G.
Hasenjaeger, Gisbert
Hasenjaeger, Gisbert 1919-
Languages
German (36)
English (36)
Spanish (6)
Dutch (1)
Covers