WorldCat Identities

Müller, G. H. (Gert Heinz) 1923-

Overview
Works: 80 works in 437 publications in 3 languages and 5,605 library holdings
Genres: Conference papers and proceedings  Bibliography 
Roles: Editor, Author, Other, Translator
Classifications: HN15, 309
Publication Timeline
.
Most widely held works by G. H Müller
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 by K Ambos-Spies( Book )

37 editions published between 1985 and 1990 in English and Undetermined and held by 703 WorldCat member libraries worldwide

These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 by G. H Müller( Book )

31 editions published between 1975 and 2008 in English and held by 422 WorldCat member libraries worldwide

Geometries and groups : proceedings of a colloquium held at the Freie Universität, Berlin May 1981 by Helmut Cajar( Book )

27 editions published between 1981 and 2008 in English and Undetermined and held by 407 WorldCat member libraries worldwide

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 by ISILC Proof Theory Symposion( Book )

25 editions published between 1975 and 2008 in 3 languages and held by 387 WorldCat member libraries worldwide

The study of time : proceedings of the first conference of the International Society for the Study of Time, Oberwolfach (Black Forest), West Germany by International Society for the Study of Time( Book )

34 editions published in 1972 in 3 languages and held by 369 WorldCat member libraries worldwide

The First Conference of the International Society for the Study of Time was held at the Mathematisches Forschungsinstitut at Oberwolfach in the Black Forest, Federal Republic of Germany from Sunday, 31 August to Saturday, 6 September, 1969. The origin of this conference and the formation of the Society goes back to a proposal due to J.T. Fraser that was discussed at a conference on "Interdisciplinary Perspectives of Time" held by the New York Academy of Sciences in January, 1966. It was unanimously agreed than that an international society should be formed on an interdisciplinary basis with the object of stimulating interest in all problems concerning 'time and that this object could best be attained by means of conferences held at regular intervals. J.T. Fraser was elected Secretary, S. Watanabe Treasurer, and I was elected President. It was agreed, at my suggestion, that the organization of the first conference of the newly formed Society be left to a committee of these three officers, on the understanding that they would invite authorities on the role of time in the various special sciences and humanities to form an Advisory Board to assist them. One of the main difficulties in seeking support for an interdisciplinary conference is that most foundations confine their interest exclusively either to the sciences or to the humanities
Sets and classes : on the work by Paul Bernays by Paul Bernays( Book )

19 editions published in 1976 in English and held by 359 WorldCat member libraries worldwide

Provability, Computability and Reflection
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 by G. H Müller( Book )

36 editions published in 1984 in English and Undetermined and held by 205 WorldCat member libraries worldwide

[Omega]--bibliography of mathematical logic( Book )

5 editions published in 1987 in English and German and held by 136 WorldCat member libraries worldwide

Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983 by Michael M Richter( Book )

9 editions published in 1984 in English and held by 131 WorldCat member libraries worldwide

Das philosophische Werk Franz Kröner's : mit drei nachgelassenen Originalbeiträgen by G. H Müller( Book )

11 editions published in 1962 in German and held by 102 WorldCat member libraries worldwide

Suicide and attempted suicide by Erwin Stengel( Book )

2 editions published in 1969 in German and held by 70 WorldCat member libraries worldwide

Die Begegnung mit dem Tod by Stanislav Grof( Book )

4 editions published between 1980 and 2000 in German and held by 53 WorldCat member libraries worldwide

Welche Erwartungen haben wir, welche Erfahrungen machen wir angesichts des Todes? Wie können uns die Erfahrungen anderer helfen, mit unserem eigenen Tod fertigzuwerden? Stanislav Grof und Joan Halifax haben an einem amerikanischen Krankenhaus die Wirkungsweise von LSD bei unheilbar Krebskranken beobachtet. Die psychedelische Therapie ermöglichte es den Sterbenden, die letzte Zeit ihres Lebens gefaßt, mit einer Art spiritueller Neugier und oft auch schmerzfrei zu erleben
Social origins of dictatorship and democracy : lord and peasant in the making of the modern world by Barrington Moore( Book )

7 editions published between 1969 and 1974 in German and held by 39 WorldCat member libraries worldwide

Chapters discuss the growth of capitalistic democrary in England, France, and the U.S., and the rise of both democrary and repressive forms of government in several nations of Asia
Mikrokosmos : eine Studie über Gruppendynamik by Philip E Slater( Book )

2 editions published in 1970 in German and held by 35 WorldCat member libraries worldwide

Decidable Theories I by G. H Müller( )

5 editions published in 1970 in Undetermined and English and held by 33 WorldCat member libraries worldwide

Omega-bibliography of mathematical logic( Book )

10 editions published in 1987 in English and held by 23 WorldCat member libraries worldwide

Ō-bibliography of mathematical logic by G. H Müller( Book )

9 editions published in 1987 in English and held by 16 WorldCat member libraries worldwide

Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H.-D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra
Logic Symposia Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and Febr. 4-7, 1980 by Logic Symposium. <1979 - 1980>( Book )

3 editions published between 1979 and 1981 in English and Undetermined and held by 13 WorldCat member libraries worldwide

Higher set theory : proceedings [of a conference, held at the Mathematisches Forschungsinstitut], Oberwolfach, 1977( Book )

1 edition published in 1978 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.46 for Social ori ... to 0.99 for Higher set ...)

WorldCat IdentitiesRelated Identities
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Alternative Names
Mueller, Gert H. 1923-

Mueller, Gert H. (Gert Heinz), 1923-

Müller, G. H.

Müller, G. H. 1923-

Müller, Gert H.

Müller, Gert Heinz 1923-

Languages
English (231)

German (34)

Germanic (1)

Covers
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974Geometries and groups : proceedings of a colloquium held at the Freie Universität, Berlin May 1981ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974Sets and classes : on the work by Paul BernaysModels and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983Decidable Theories ILogic Symposia Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and Febr. 4-7, 1980