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 1323, 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
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
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
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 1521, 1984 by
HeinzDieter Ebbinghaus(
Book
)
20 editions published between 1985 and 2006 in English and Undetermined and held by 561 WorldCat member libraries worldwide
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 2124, 1979 and February 47,
1980 by
G. H Müller(
Book
)
25 editions published between 1981 and 2006 in English and held by 538 WorldCat member libraries worldwide
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
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 1925, 1989 by
K AmbosSpies(
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
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 1823, 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
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
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 1823, 1983 by
G. H Müller(
Book
)
17 editions published in 1984 in English and held by 210 WorldCat member libraries worldwide
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
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
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
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. 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
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. 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
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
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
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 2124, 1979 and February 47, 1980 by
G. H Müller(
)
2 editions published in 1981 in English and held by 73 WorldCat member libraries worldwide
2 editions published in 1981 in English and held by 73 WorldCat member libraries worldwide
Omegabibliography of mathematical logic by
G. H Müller(
Book
)
4 editions published in 1987 in English and held by 35 WorldCat member libraries worldwide
4 editions published in 1987 in English and held by 35 WorldCat member libraries worldwide
OmegaBibliography of mathematical logic by
G. H Müller(
Book
)
7 editions published in 1987 in English and held by 33 WorldCat member libraries worldwide
7 editions published in 1987 in English and held by 33 WorldCat member libraries worldwide
OmegaBibliography of mathematical logic by
G. H Müller(
Book
)
6 editions published in 1987 in English and held by 31 WorldCat member libraries worldwide
6 editions published in 1987 in English and held by 31 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Sacks, Gerald E. Other Author Editor
 Ebbinghaus, HeinzDieter 1939 Other Author Editor
 Takeuti, Gaisi 19262017 Editor
 Tugué, T. (Tosiyuki) 1926 Editor
 Diller, Justus Other Author Editor
 Oberschelp, Arnold Author Editor
 Schütte, K. (Kurt) Other Honoree Author
 Potthoff, Karl Editor
 Scott, Dana S. Editor
 AmbosSpies, K. (Klaus) Other Author Editor
Associated Subjects
Axiomatic set theory Bernays, Paul, Büchi, J. Richard Constructive mathematics FlightPhysiological aspects Gödel's theorem Logic Logic, Symbolic and mathematical Machine theory Mathematical models Mathematics Model theory Predicate calculus Proof theory Recursion theory Schütte, K.(Kurt) Sequential machine theory Set theory Suicidal behavior Suicide SuicidePrevention SuicidePsychological aspects Time