- 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 Gert H. Muller
48 found
Order:
Disambiguations
Disambiguations:
| Gert H. Müller [38] | Gert Heinz Müller [36] |
- Non-standard Analysis.Gert Heinz Müller - 2016 - Princeton University Press.Considered by many to be Abraham Robinson's magnum opus, this book offers an explanation of the development and applications of non-standard analysis by the mathematician who founded the subject. Non-standard analysis grew out of Robinson's attempt to resolve the contradictions posed by infinitesimals within calculus. He introduced this new subject in a seminar at Princeton in 1960, and it remains as controversial today as it was then. This paperback reprint of the 1974 revised edition is indispensable reading for anyone interested (...)
- Elements of Mathematical Logic.Gert H. Muller, P. S. Novikov, Leo F. Boron & R. L. Goodstein - 1964 - Journal of Symbolic Logic 31 (4):672.
- Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp. [REVIEW]Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.
- (1 other version)Eine Termlogik mit Auswahloperator.Gert Heinz Müller - 1965 - Journal of Symbolic Logic 35 (3):440-440.
- 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.
- (1 other version)Einführung in die Symbolische Logik mit Besonderer Berücksichtigung ihrer Anwendungen.Gert Heinz Müller - 1955 - Journal of Symbolic Logic 20 (3):274-277.
- (1 other version)Introduction to the Basic Concepts and Problems of Modern Logic.Gert H. Müller - 1975 - Journal of Symbolic Logic 40 (4):627-628.
- Arnaud den joy: Ľénumération transf1nie.Gert Heinz Müller - 1954 - Dialectica 8 (3):270-273.No categories
- Andreas speiser: Die mathematische denkweise.Gert Heinz Müller - 1953 - Dialectica 7 (2):179-182.No categories
- Das philosophische werk Franz kröner's.Gert H. MÜller - 1962 - Studia Philosophica 10:(1962).No categoriesExport citation
Bookmark - Ernest A. Moody: Truth and consequence in medieval logic.Gert Heinz Müller - 1954 - Dialectica 8 (1):81-83.
- Framing Mathematics.Gert H. Müller - 1981 - Epistemologia 4 (1):253.
- ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.Gert Heinz Müller, Arnold Oberschelp & Karl Potthoff (eds.) - 1975 - New York: Springer Verlag.
- I. M. bocheński: Ancient formal logic.Gert Heinz Müller - 1954 - Dialectica 8 (1):78-80.
- Karl dürr: The propositional logic of Boethius (with an appendix by Norman M. martin)1.Gert Heinz Müller - 1953 - Dialectica 7 (1):78-83.
- Karl Menger: Géométrie générale.Gert Heinz Müller - 1954 - Dialectica 8 (3):267-269.No categories
- Kurt Reidemeister.Gert Heinz Müller - 1954 - Dialectica 8 (4):366-368.
- (1 other version)Myhill John. Arithmetic with creative definitions by induction.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):303-304.
- (3 other versions)Montague Richard. On the paradox of grounded classes.Gert Heinz Müller - 1956 - Journal of Symbolic Logic 21 (4):380-380.
- Oskar Becker und Jos. E. Hofmann: Geschichte der mathemat1k.Gert Heinz Müller - 1954 - Dialectica 8 (3):274-274.No categories
- 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.
- Shaw-Kwei Moh. Logical paradoxes for many-valued systems.Gert Heinz Müller - 1957 - Journal of Symbolic Logic 22 (1):90-90.
- Shadows of Infinity.Gert H. Müller - 1988 - Epistemologia 11:197.Export citation Bookmark
- (1 other version)Toshio Nishimura. On Gödel's theorem. Journal of the Mathematical Society of Japan, vol. 13 , pp. 1–12.Gert Heinz Müller - 1964 - Journal of Symbolic Logic 29 (2):106-107.
- (1 other version)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.
- (1 other version)Wang Hao. The formalization of mathematics.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):290-292.
- [Omnibus Review].Gert Heinz Muller - 1969 - Journal of Symbolic Logic 34 (2):292-294.
- (1 other version)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.
- (1 other version)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.
- (1 other version)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.
- (1 other version)Hasenjaeger G.. Formales und produktives Schlieβen. Mathematisch-physikalische Setnesterberichte , vol. 6 no. 1/2 , pp. 184–194. [REVIEW]Gert Heinz Müller - 1964 - Journal of Symbolic Logic 29 (1):59-59.
- (1 other version)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.
- (1 other version)Klug Ulrich. Juristische Logik. Second, revised edition of XVII 274. Springer-Verlag, Berlin-Göttingen-Heidelberg 1958, VIII + 164 pp. [REVIEW]Gert Heinz Müller - 1959 - Journal of Symbolic Logic 24 (1):87-87.
- 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.
- (1 other version)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.
- (2 other versions)Nidditch P. H.. Introductory formal logic of mathematics. University Tutorial Press Ltd., London 1957, vii + 188 pp. [REVIEW]Gert Heinz Müller - 1960 - Journal of Symbolic Logic 25 (1):77-78.
- Review: Toshio Nishimura, Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" from Other Axioms of Set Theory; Toshio Nishimura, Note on Axiomatic Set Theory II. A Construction of a Model Satisfying the Axioms of set Theory without Zermelo's Aussonderungsaxiom in a certain axiom system of ordinal numbers. [REVIEW]Gert Heinz Muller - 1964 - Journal of Symbolic Logic 29 (2):107-107.
- 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.
- (2 other versions)Reviews. Heinrich Scholz and Gisbert Hasenjaeger. Grundzüge der mathematischen Logik. Springer-Verlag, Berlin-Göttingen-Heidelberg 1961, XVI + 504 pp. [REVIEW]Gert Heinz Müller - 1963 - Journal of Symbolic Logic 28 (3):245-249.
- (1 other version)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.
- (1 other version)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.
- (1 other version)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: A. N. Prior, Curry's Paradox and 3-Valued Logic. [REVIEW]Gert Heinz Müller - 1957 - Journal of Symbolic Logic 22 (1):90-91.
- Review: Charles Parsons, The $omega$-Consistency of Ramified Analysis. [REVIEW]Gert H. Muller - 1965 - Journal of Symbolic Logic 30 (1):94-94.
- (1 other version)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.
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-5d8df9484f-2n7kc uwo