WorldCat Identities

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

Overview
Works: 131 works in 468 publications in 2 languages and 5,866 library holdings
Genres: Conference papers and proceedings  Bibliography 
Roles: Editor, Author, Other, htt, Translator
Publication Timeline
.
Most widely held works by G. H Müller
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 by G. H Müller( Book )

26 editions published between 1978 and 2007 in 3 languages and held by 583 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 2006 in English and German and held by 574 WorldCat member libraries worldwide

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 by G. H Müller( Book )

24 editions published between 1975 and 2008 in English and held by 561 WorldCat member libraries worldwide

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 by Heinz-Dieter Ebbinghaus( Book )

20 editions published between 1985 and 2006 in English and Undetermined and held by 561 WorldCat member libraries worldwide

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 by G. H Müller( Book )

25 editions published between 1981 and 2006 in English and held by 538 WorldCat member libraries worldwide

Sets and classes : on the work by Paul Bernays by Paul Bernays( Book )

21 editions published in 1976 in English and held by 517 WorldCat member libraries worldwide

Provability, Computability and Reflection
Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 by K Ambos-Spies( Book )

18 editions published between 1990 and 2006 in English and Undetermined and held by 512 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
Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983 by Aachen) Logic Colloquium (1983( Book )

20 editions published between 1984 and 2006 in English and German and held by 297 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 )

8 editions published in 1972 in English and German and held by 297 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
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 by G. H Müller( Book )

17 editions published in 1984 in English and held by 210 WorldCat member libraries worldwide

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

3 editions published in 1987 in English and German and held by 127 WorldCat member libraries worldwide

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

12 editions published between 1970 and 2008 in English and Undetermined and held by 94 WorldCat member libraries worldwide

Suicide and attempted suicide by Erwin Stengel( Book )

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

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

15 editions published in 1987 in English and held by 78 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
The study of time; proceedings of the first [-second] conference of the International Society for the Study of Time by International Society for the Study of Time( Book )

9 editions published in 1972 in English and held by 77 WorldCat member libraries worldwide

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

5 editions published in 1962 in German and held by 76 WorldCat member libraries worldwide

Logic Symposia Hakone 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980 by G. H Müller( )

2 editions published in 1981 in English and held by 73 WorldCat member libraries worldwide

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

4 editions published in 1987 in English and held by 35 WorldCat member libraries worldwide

Omega-Bibliography of mathematical logic by G. H Müller( Book )

7 editions published in 1987 in English and held by 33 WorldCat member libraries worldwide

Omega-Bibliography of mathematical logic by G. H Müller( Book )

6 editions published in 1987 in English and held by 31 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.48 for The study ... to 0.88 for Omega-Bibl ...)

WorldCat IdentitiesRelated Identities
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Logic Symposia Hakone 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980
Covers
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, 1974ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980Sets and classes : on the work by Paul BernaysRecursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
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 (249)

German (13)