skip to content

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

Overview
Works: 39 works in 344 publications in 3 languages and 5,254 library holdings
Genres: Conference papers and proceedings  Bibliography 
Roles: Editor, Author, Other
Classifications: QA3, 511.3
Publication Timeline
Key
Publications about G. H Müller
Publications by G. H Müller
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 Heinz-Dieter Ebbinghaus( Book )
37 editions published between 1985 and 1990 in English and Undetermined and held by 685 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
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 by G. H Müller( Book )
29 editions published between 1978 and 2008 in 3 languages and held by 423 libraries worldwide
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 by G. H Müller( Book )
30 editions published between 1975 and 2008 in English and held by 406 libraries worldwide
Geometries and groups : proceedings of a colloquium held at the Freie Universität, Berlin May 1981 by Helmut Cajar( Book )
25 editions published between 1981 and 2008 in English and Undetermined and held by 404 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 370 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
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 Justus Diller( Book )
21 editions published between 1975 and 2008 in 3 languages and held by 360 libraries worldwide
Sets and classes : on the work by Paul Bernays by Paul Bernays( Book )
16 editions published in 1976 in English and held by 356 libraries worldwide
Provability, Computability and Reflection
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 by Aachen> Logic Colloquium <1983( Book )
35 editions published in 1984 in English and Undetermined and held by 257 libraries worldwide
Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983 by G. H Müller( Book )
13 editions published in 1984 in English and held by 139 libraries worldwide
[Omega]--bibliography of mathematical logic ( Book )
5 editions published in 1987 in English and German and held by 134 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 101 libraries worldwide
Decidable Theories II : The Monadic Second Order Theory of All Countable Ordinals by J. Richard Büchi( file )
5 editions published in 1973 in English and held by 68 libraries worldwide
Classical logic : Wolfgang Rautenberg (ed.) ( Book )
4 editions published in 1987 in English and held by 29 libraries worldwide
Set theory : Andreas R. Blass (ed.) ( Book )
4 editions published in 1987 in English and held by 27 libraries worldwide
Omega-bibliography of mathematical logic ( Book )
10 editions published in 1987 in English and held by 23 libraries worldwide
ISILC Proof Theory Symposium : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 by G. H Müller( Book )
6 editions published in 1975 in English and Undetermined and held by 21 libraries worldwide
Omega-bibliography of mathematical logic by G. H Müller( Book )
2 editions published in 1987 in English and held by 20 libraries worldwide
Ō-bibliography of mathematical logic by G. H Müller( Book )
9 editions published in 1987 in English and held by 16 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
Omega-Bibliography of mathematical logic by G. H Müller( Book )
2 editions published in 1987 in English and held by 14 libraries worldwide
The monadic second order theory of all countable ordinals by J. Richard Büchi( Book )
5 editions published between 1970 and 1973 in English and German and held by 14 libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Mueller, Gert H. (Gert Heinz), 1923-
Müller, G. H.
Müller, Gert H.
Müller, Gert Heinz, 1923-
Languages
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.