Müller, G. H. (Gert Heinz) 1923
Most widely held works by
G. H Müller
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 1521, 1984 by HeinzDieter 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 1323, 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
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 1823, 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 1823, 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
Omegabibliography of mathematical logic
(
Book
)
10
editions published
in
1987
in
English
and held by
23
libraries
worldwide
Omegabibliography 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. Nonclassical 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
OmegaBibliography 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
more
fewer
Related Identities

Sacks, Gerald E. Other Author Editor

Ebbinghaus, HeinzDieter 1939 Other Author Editor

Scott, Dana S. Author Editor

Diller, Justus Other Author Editor

Oberschelp, Arnold Author Editor

Schütte, K. (Kurt) Other Honoree Author

Potthoff, Karl Editor

Takeuti, Gaisi 1926 Editor

Tugué, T. (Tosiyuki) 1926 Editor

Bernays, Paul 18881977 Other Author Dedicatee

Alternative Names
Mueller, Gert H. (Gert Heinz), 1923 Müller, G. H. Müller, Gert H. Müller, Gert Heinz, 1923
Languages
Covers
