83 found
Order:
Disambiguations
Gert H. Müller [38]Gert Heinz Müller [37]Gert Muller [8]
  1.  76
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   172 citations  
  2.  21
    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.
  3.  13
    How I see Philosophy.Gert H. Müller - 1958 - Journal of Symbolic Logic 23 (2):209-210.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  30
    Elements of Mathematical Logic.Gert H. Muller, P. S. Novikov, Leo F. Boron & R. L. Goodstein - 1964 - Journal of Symbolic Logic 31 (4):672.
  5.  12
    Grundzüge der Mathematischen Logik.Gert Heinz Müller - 1963 - Journal of Symbolic Logic 28 (3):245-249.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  17
    Eine Termlogik mit Auswahloperator.Gert Heinz Müller - 1965 - Journal of Symbolic Logic 35 (3):440-440.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  18
    Hermann Wein: Das problem Des relativismus. (Philosophie im übergang zur anthropologie.).Gert H. Müller - 1954 - Dialectica 8 (1):84-87.
  8. 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.
  9.  17
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  5
    Introduction to the Basic Concepts and Problems of Modern Logic.Gert H. Müller - 1975 - Journal of Symbolic Logic 40 (4):627-628.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  18
    Arnaud den joy: Ľénumération transf1nie.Gert Heinz Müller - 1954 - Dialectica 8 (3):270-273.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  14
    Andreas speiser: Die mathematische denkweise.Gert Heinz Müller - 1953 - Dialectica 7 (2):179-182.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Das philosophische werk Franz kröner's.Gert H. MÜller - 1962 - Studia Philosophica 10:(1962).
    No categories
     
    Export citation  
     
    Bookmark  
  14.  21
    Ernest A. Moody: Truth and consequence in medieval logic.Gert Heinz Müller - 1954 - Dialectica 8 (1):81-83.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Framing Mathematics.Gert H. Müller - 1981 - Epistemologia 4 (1):253.
  16.  10
    History as a Rigorous Discipline.Gert Muller - 1967 - History and Theory 6 (3):299-312.
    Analytic history is the legitimate successor of philosophy of history. To speak of laws that predict historical succession no longer seems justified. Nonetheless, generally valid statements about "invariances" continue to be necessary conditions of any objective analysis. Historicism has often confused formal methods and material content and thus erroneously denied important generalizations. A close examination of historical action shows the need for rules, or codes, as frameworks for any action. Such rules or codes condition but do not cause, or determine, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  6
    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.
  18.  17
    I. M. bocheński: Ancient formal logic.Gert Heinz Müller - 1954 - Dialectica 8 (1):78-80.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  16
    Kritik der Leisegangschen Denkformen.Gert Müller - 1955 - Zeitschrift für Philosophische Forschung 9 (4):663 - 683.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  13
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  12
    Karl Menger: Géométrie générale.Gert Heinz Müller - 1954 - Dialectica 8 (3):267-269.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  9
    Kurt Reidemeister.Gert Heinz Müller - 1954 - Dialectica 8 (4):366-368.
  23.  2
    Myhill John. Arithmetic with creative definitions by induction.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):303-304.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  20
    Montague Richard. On the paradox of grounded classes.Gert Heinz Müller - 1956 - Journal of Symbolic Logic 21 (4):380-380.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  19
    Oskar Becker und Jos. E. Hofmann: Geschichte der mathemat1k.Gert Heinz Müller - 1954 - Dialectica 8 (3):274-274.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  18
    Oswald Spenglers Bedeutung für die Geschichtswissenschaft.Gert Müller - 1963 - Zeitschrift für Philosophische Forschung 17 (3):483 - 498.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  8
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  32
    Sozialbehaviorismus, Dialektik und Transzendentalphilosophie. Zum Werke George Herbert Meads über Geist, Identität und Gesellschaft.Gert Müller - 1970 - Zeitschrift für Philosophische Forschung 24 (3):388 - 398.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  37
    Shaw-Kwei Moh. Logical paradoxes for many-valued systems.Gert Heinz Müller - 1957 - Journal of Symbolic Logic 22 (1):90-90.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. Shadows of Infinity.Gert H. Müller - 1988 - Epistemologia 11:197.
  31.  23
    Sorokin und Spengler (Fortsetzung und Schluß).Gert Müller - 1965 - Zeitschrift für Philosophische Forschung 19 (2):328 - 348.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  25
    Sorokin und Spengler. Die Kritik Pitirim Sorokins am Werke Oswald Spenglers.Gert Müller - 1965 - Zeitschrift für Philosophische Forschung 19 (1):110 - 134.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  38
    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.
  34.  20
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  3
    Wang Hao. The formalization of mathematics.Gert H. Müller - 1957 - Journal of Symbolic Logic 22 (3):290-292.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  14
    Weltanschauungen und Kultursysteme.Gert Müller - 1968 - Zeitschrift für Philosophische Forschung 22 (4):549 - 568.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  24
    Yuting Shen. Two semantical paradoxes.Gert Heinz Müller - 1956 - Journal of Symbolic Logic 21 (4):380-380.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  24
    Logical Paradoxes for Many-valued Systems.Gert Heinz Muller & Moh Shaw-Kwei - 1957 - Journal of Symbolic Logic 22 (1):90.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  9
    [Omnibus Review].Gert Heinz Muller - 1969 - Journal of Symbolic Logic 34 (2):292-294.
  40.  12
    Introductory Formal Logic of Mathematics.Gert Heinz Müller - 1960 - Journal of Symbolic Logic 25 (1):77-78.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  26
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42.  44
    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.
  43.  21
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  39
    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.
  45.  18
    Carnap Rudolf. Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen. Springer-Verlag, Wien 1954, X + 209 S. [REVIEW]Gert Heinz Müller - 1955 - Journal of Symbolic Logic 20 (3):274-277.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  21
    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.
  47.  23
    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.
  48.  28
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  36
    Hermes Hans. Eine Termlogik mit Auswahloperator. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1965, iv + 42 pp. [REVIEW]Gert Heinz Muller - 1970 - Journal of Symbolic Logic 35 (3):440-440.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  50.  24
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 83