- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Müller, Gert H. (exact spelling)
38 found
Order:
- How I see Philosophy.Gert H. Müller - 1958 - Journal of Symbolic Logic 23 (2):209-210.
- Elements of Mathematical Logic.Gert H. Muller, P. S. Novikov, Leo F. Boron & R. L. Goodstein - 1964 - Journal of Symbolic Logic 31 (4):672.
- Hermann Wein: Das problem Des relativismus. (Philosophie im übergang zur anthropologie.).Gert H. Müller - 1954 - Dialectica 8 (1):84-87.
- Meeting of the association for symbolic logic: Jerusalem, Israel, 1975.Haim Gaifman, Azriel Levy & Gert H. Müller - 1977 - Journal of Symbolic Logic 42 (1):140-142.
- Introduction to the Basic Concepts and Problems of Modern Logic.Gert H. Müller - 1975 - Journal of Symbolic Logic 40 (4):627-628.
- Das philosophische werk Franz kröner's.Gert H. MÜller - 1962 - Studia Philosophica 10:(1962).No categoriesExport citation
Bookmark - Framing Mathematics.Gert H. Müller - 1981 - Epistemologia 4 (1):253.
- Myhill John. Arithmetic with creative definitions by induction.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):303-304.
- Reflection in Set Theory the Bernays-Levy Axiom System.Gert H. Müller - 1997 - In Evandro Agazzi & György Darvas (eds.), Philosophy of Mathematics Today. Kluwer Academic Publishers. pp. 137--169.
- Shadows of Infinity.Gert H. Müller - 1988 - Epistemologia 11:197.Export citation Bookmark
- Wang Hao. On formalization. Mind, n.s. vol. 64 , pp. 226–238.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):292-292.
- Wang Hao. The formalization of mathematics.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):290-292.
- Aaron Richard I.. The rational and the empirical. Contemporary British philosophy, Third series, edited by Lewis H. D., George Allen & Unwin, London 1956, and The Macmillan Company, New York 1956, pp. 3–20. [REVIEW]Gert H. Müller - 1958 - Journal of Symbolic Logic 23 (2):209-209.
- Bouvère Karel Louis de. A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers. Dissertation Amsterdam 1959. North-Holland Publishing Company, Amsterdam 1959, XV + 64 pp.Bouvère Karel Louis de. Stellingen. Leaflet distributed with the foregoing, 4 pp. unnumbered. [REVIEW]Gert H. Müller - 1960 - Journal of Symbolic Logic 25 (3):271-273.
- Charles Parsons. The ω-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 , pp. 30–34. [REVIEW]Gert H. Müller - 1965 - Journal of Symbolic Logic 30 (1):94.
- Georg Kreisel. Some concepts concerning formal systems of number theory. Mathematische Zeitschrift, vol. 57 no. 1 , pp. 1–12. [REVIEW]Gert H. Müller - 1966 - Journal of Symbolic Logic 31 (1):128-128.
- Review: Gisbert Hasenjaeger, E. C. M. Mays, Introduction to the Basic Concepts and Problems of Modern Logic. [REVIEW]Gert H. Muller - 1975 - Journal of Symbolic Logic 40 (4):627-628.
- Izumi Yosihisa. Remarques sur la notion de la perfection. Tóhoku mathematical journal, ser. 2 vol. 4 , pp. 252–256.Izumi Yosihisa. Über den Begriff der ω-Vollständigkeit. Tóhoku mathematical journal, ser. 2 vol. 4 , pp. 314–315.Izumi Yosihisa. Sur les formes normales. Tóhoku mathematical journal, ser. 2 vol. 6 , pp. 26–29. [REVIEW]Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):296-297.
- Klug Ulrich. Juristische Logik. Third, expanded and revised, edition of XVII 274. Springer-Verlag, Berlin, Heidelberg, and New York, 1966, XV + 191 pp. [REVIEW]Gert H. Müller - 1971 - Journal of Symbolic Logic 36 (3):545-545.
- Lorenzen Paul. Die Fiktion der Überabzählbarkeit. Proceedings of the International Congress of Mathematicians 1954, Amsterdam September 2-September 9, Volume III, Erven P. Noordhoff N.V., Groningen 1956, and North-Holland Publishing Co., Amsterdam 1956, pp. 273–279. [REVIEW]Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (4):368-369.
- P. S. Novikov. Elements of mathematical logic. English translation of XXX 356 by Leo F. Boron, with a preface and notes by R. L. Goodstein. Oliver & Boyd, Edinburgh and London, and Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, and London, 1964, xi + 296 pp. [REVIEW]Gert H. Müller - 1966 - Journal of Symbolic Logic 31 (4):672-672.
- Reviews. Charles Parsons. The co-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 (1962), pp. 30–34. [REVIEW]Gert H. Müller - 1966 - Journal of Symbolic Logic 31 (1):98-98.
- Rosenbloom P. C.. Konstruktive Ăquivalente für Sätze aus der klassischen Analysis Actes du Deuxième Congrès International de l'Union Internationale de Philosophie des Sciences, Zurich 1954, II Physique, mathématiques, pp. 135–137. [REVIEW]Gert H. Müller - 1959 - Journal of Symbolic Logic 24 (3):238-238.
- Schröter Karl. Theorie des logischen Schlieβens, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 37–86, and vol. 4 , pp. 10–65. [REVIEW]Gert H. Müller - 1967 - Journal of Symbolic Logic 32 (3):418-418.
- Shen Yuting. Paradox of the class of all grounded classes. [REVIEW]Gert H. Müller - 1955 - Journal of Symbolic Logic 20 (1):84-84.
- Review: Charles Parsons, The $omega$-Consistency of Ramified Analysis. [REVIEW]Gert H. Muller - 1965 - Journal of Symbolic Logic 30 (1):94-94.
- Review: F. Waismann, How I see Philosophy; William Kneale, The Province of Logic. [REVIEW]Gert H. Muller - 1958 - Journal of Symbolic Logic 23 (2):209-210.
- Review: Georg Kreisel, Some Concepts Concerning Formal Systems of Number Theory. [REVIEW]Gert H. Muller - 1966 - Journal of Symbolic Logic 31 (1):128-128.Export citation Bookmark
- Review: Hao Wang, The Formalization of Mathematics. [REVIEW]Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):290-292.
- Review: Hao Wang, On Formalization. [REVIEW]Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):292-292.
- Review: John Myhill, Arithmetic with Creative Definitions by Induction. [REVIEW]Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):303-304.
- Review: Karel Louis de Bouvere, A Method in Proofs of Undefinability, with Applications to Functions in the Arithmetic of Natural Numbers. [REVIEW]Gert H. Müller - 1960 - Journal of Symbolic Logic 25 (3):271-273.
- Review: Karl Schroter, Theorie des Logischen Schliebens. [REVIEW]Gert H. Muller - 1967 - Journal of Symbolic Logic 32 (3):418-418.Export citation Bookmark
- Review: P. C. Rosenbloom, Konstruktive Aquivalente fur Satze aus der Klassischen Analysis. [REVIEW]Gert H. Muller - 1959 - Journal of Symbolic Logic 24 (3):238-238.Export citation Bookmark
- Review: Paul Lorenzen, Die Fiktion der Uberabzahlbarkeit. [REVIEW]Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (4):368-369.
- Review: Richard I. Aaron, The Rational and the Empirical. [REVIEW]Gert H. Müller - 1958 - Journal of Symbolic Logic 23 (2):209-209.
- Review: Yosihisa Izumi, Remarques sur la Notion de la Perfection. [REVIEW]Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):296-297.
- Review: Yuting Shen, Paradox of the Class of All Grounded Classes; Robert L. Stanley, Note on a Paradox. [REVIEW]Gert H. Müller - 1955 - Journal of Symbolic Logic 20 (1):84-84.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-747975fc64-sshfw uwo