35 found
Order:
  1.  10
    Non-Standard Analysis.Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.
    Direct download  
     
    Export citation  
     
    Bookmark   120 citations  
  2.  7
    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  
  3.  4
    Eine Termlogik MIT Auswahloperator.Gert Heinz Müller - 1965 - Journal of Symbolic Logic 35 (3):440-440.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  5
    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  
  5.  1
    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  
  6.  14
    Arnaud den Joy: Ľénumération Transf1nie.Gert Heinz Müller - 1954 - Dialectica 8 (3):270-273.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  7.  30
    Abraham Robinson. Non-Standard Analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 64 , Pp. 432–440; Also Indagationes Mathematicae, Vol. 23 , 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 , 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 , 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.
  8.  11
    Andreas speiser: Die mathematische denkweise.Gert Heinz Müller - 1953 - Dialectica 7 (2):179-182.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  11
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  18
    Ernest A. Moody: Truth and Consequence in Medieval Logic.Gert Heinz Müller - 1954 - Dialectica 8 (1):81-83.
  11.  12
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  17
    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  
  13.  14
    I. M. Bocheński: Ancient Formal Logic.Gert Heinz Müller - 1954 - Dialectica 8 (1):78-80.
  14.  8
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  9
    Karl Menger: Géométrie générale.Gert Heinz Müller - 1954 - Dialectica 8 (3):267-269.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  4
    Kurt Reidemeister.Gert Heinz Müller - 1954 - Dialectica 8 (4):366-368.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  9
    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.
  18.  5
    Montague Richard. On the Paradox of Grounded Classes.Gert Heinz Müller - 1956 - Journal of Symbolic Logic 21 (4):380-380.
  19.  9
    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.
  20.  6
    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.
  21.  14
    Oskar Becker und Jos. E. Hofmann: Geschichte der mathemat1k.Gert Heinz Müller - 1954 - Dialectica 8 (3):274-274.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  10
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  20
    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  
  24.  20
    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.
  25.  12
    Yuting Shen. Two Semantical Paradoxes.Gert Heinz Müller - 1956 - Journal of Symbolic Logic 21 (4):380-380.
  26.  16
    Logical Paradoxes for Many-Valued Systems.Gert Heinz Muller & Moh Shaw-Kwei - 1957 - Journal of Symbolic Logic 22 (1):90.
  27.  7
    [Omnibus Review].Gert Heinz Muller - 1969 - Journal of Symbolic Logic 34 (2):292-294.
  28.  13
    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.
  29. Review: G. Hasenjaeger, Formales und Produktives Schlie$beta$en. [REVIEW]Gert Heinz Muller - 1964 - Journal of Symbolic Logic 29 (1):59-59.
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  7
    Review: Heinrich Scholz, Gisbert Hasenjaeger, Grundzuge der Mathematischen Logik. [REVIEW]Gert Heinz Müller - 1963 - Journal of Symbolic Logic 28 (3):245-249.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  5
    Review: P. H. Nidditch, Introductory Formal Logic of Mathematics. [REVIEW]Gert Heinz Müller - 1960 - Journal of Symbolic Logic 25 (1):77-78.
  32.  5
    Review: Richard Montague, On the Paradox of Grounded Classes. [REVIEW]Gert Heinz Müller - 1956 - Journal of Symbolic Logic 21 (4):380-380.
  33.  12
    Review: Shen Yuting, Two Semantical Paradoxes. [REVIEW]Gert Heinz Müller - 1956 - Journal of Symbolic Logic 21 (4):380-380.
  34. Review: Toshio Nishimura, On Godel's Theorem. [REVIEW]Gert Heinz Muller - 1964 - Journal of Symbolic Logic 29 (2):106-107.
  35. Review: Ulrich Klug, Juristische Logik. [REVIEW]Gert Heinz Muller - 1959 - Journal of Symbolic Logic 24 (1):87-87.
    Translate
     
     
    Export citation  
     
    Bookmark