69 found
Order:
Disambiguations
R. L. Goodstein [69]R. Louis Goodstein [2]
  1.  27
    On the Restricted Ordinal Theorem.R. L. Goodstein - 1944 - Journal of Symbolic Logic 9 (2):33-41.
  2. Constructive Formalism.R. L. Goodstein - 1951 - Leicester [Eng.]University College.
  3.  22
    Recursive Number Theory. A Development of Recursive Arithmetic in a Logic-Free Equation Calculus.R. L. Goodstein - 1958 - Journal of Symbolic Logic 23 (2):227-228.
  4. On the Restricted Ordinal Theorem.R. L. Goodstein - 1945 - Journal of Symbolic Logic 10 (3):104-105.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  17
    On the Formalisation of Indirect Discourse.R. L. Goodstein - 1958 - Journal of Symbolic Logic 23 (4):417-419.
  6.  57
    The Significance of Incompleteness Theorems.R. L. Goodstein - 1963 - British Journal for the Philosophy of Science 14 (55):208-220.
  7.  8
    Function Theory in an Axiom-Free Equation Calculus.R. L. Goodstein - 1946 - Journal of Symbolic Logic 11 (1):24-26.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  8. Essays in the Philosophy of Mathematics.R. L. Goodstein - 1965 - [Leicester, Eng.]Leicester University Press.
  9.  9
    Recursive Analysis.R. L. Goodstein - 1961 - Dover Publications.
    This graduate-level_text by a master in the field builds a function theory of the rational field that combines aspects of classical and intuitionist analysis. Topics include recursive convergence, recursive and relative continuity, recursive and relative differentiability, the relative integral, elementary functions, and transfinite ordinals. 1961 edition.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10. WITTGENSTEIN, L. - Remarks on the Foundations of Mathematics. [REVIEW]R. L. Goodstein - 1957 - Mind 66:549.
     
    Export citation  
     
    Bookmark   4 citations  
  11. The Recursive Irrationality of Π.R. L. Goodstein - 1954 - Journal of Symbolic Logic 19 (4):267-274.
  12.  13
    Constructive Formalism Essays on the Foundations of Mathematics.R. L. Goodstein - 1951 - University College.
  13.  3
    Computable Analysis.R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  52
    Mathematical Systems.R. L. Goodstein - 1939 - Mind 48 (189):58-73.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  18
    Elements of Mathematical Logic.Gert H. Muller, P. S. Novikov, Leo F. Boron & R. L. Goodstein - 1964 - Journal of Symbolic Logic 31 (4):672.
  16.  21
    Empiricism in Mathematics.R. L. Goodstein - 1969 - Dialectica 23 (1):50-57.
  17. Reply to Mr Fine's Note.R. L. Goodstein - 1964 - British Journal for the Philosophy of Science 15 (58):141.
  18.  8
    Can the Logic of Indirect Discourse Be Formalised?L. Jonathan Cohen, A. N. Prior & R. L. Goodstein - 1967 - Journal of Symbolic Logic 32 (4):549-550.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  10
    Logic-Free Formalisations of Recursive Arithmetic.R. L. Goodstein - 1959 - Journal of Symbolic Logic 24 (3):245-246.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  64
    On Von Mises' Theory of Probability.R. L. Goodstein - 1940 - Mind 49 (193):58-62.
  21.  17
    H. A. Pogorzelski. Recursive Arithmetic of Skolem. Mathematica Scandinavica, Vol. 11 , Pp. 33–36. - H. A. Pogorzelski. Recursive Arithmetic of Skolem II. Mathematica Scandinavica, Vol. 11 , Pp. 156–160. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.
  22. A Decidable Class of Equations in Recursive Arithmetic.R. L. Goodstein & R. D. Lee - 1968 - Journal of Symbolic Logic 33 (4):618-619.
     
    Export citation  
     
    Bookmark  
  23. Bartley, W. W.-"Wittgenstein". [REVIEW]R. L. Goodstein - 1973 - Philosophy 48:402.
     
    Export citation  
     
    Bookmark  
  24. Mathematical Logic. "Outlines of a Formalist Philosophy of Mathematics." By Haskell B. Curry. "On the Mathematics of Algebra." By Abraham Robinson: Essay. [REVIEW]R. L. Goodstein - 1952 - British Journal for the Philosophy of Science 3 ([9/12]):197.
  25. No Title Available: New Books. [REVIEW]R. L. Goodstein - 1973 - Philosophy 48 (186):403-404.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. On the Nature of Mathematical Systems.R. L. Goodstein - 1962 - Journal of Symbolic Logic 27 (2):226-227.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Philosophische grammatik.R. L. Goodstein - 1971 - Philosophical Books 12 (1):28-29.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. Review: H. A. Pogorzelski, Recursive Arithmetic of Skolem. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.
  29. Symposium: The Foundations of Mathematics.R. L. Goodstein & I. Lakatos - 1962 - Proceedings of the Aristotelian Society, Supplementary Volumes 36:145-184.
    No categories
     
    Export citation  
     
    Bookmark  
  30. The Foundations of Mathematics: An Inaugural Lecture Delivered at the University College of Leicester, 13th November 1951.R. L. Goodstein - 1951 - University College.
  31. The Recursive Irrationality of Π.R. L. Goodstein - 1960 - Journal of Symbolic Logic 25 (2):166-167.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  6
    On Formally Undecidable Propositions of Principia Mathematica and Related Systems.R. L. Goodstein - 1963 - Philosophical Books 4 (1):17-18.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  13
    Review: Dieter Klaua, Berechenbare Analysis; Dieter Klaua, Die Prazisierung des Berechenbarkeitsbegriffes in der Analysis mit Hilfe Rationaler Funktionale. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (3):535-536.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  25
    On Limiting the Applications of the Uniqueness Rules in The Equation Calculus.R. Louis Goodstein - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (8-10):115-116.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  26
    A Decidable Class of Equations in Recursive Arithmetic.R. L. Goodstein & R. D. Lee - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):235-239.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  21
    Vučković Vladeta. Partially ordered recursive arithmetics. Mathematica Scandinavica, vol. 7 , pp. 305–320.Vučković Vladeta. Einführung von Σƒ und Πƒ in der rekursiven Gitterpunktarithmetik. German, with Bulgarian and Russian summaries. B′lgarska Akadémia na Naukité, Izvéstiá na Matématičéskiá Institut, vol. 6 , pp. 15–25. [REVIEW]R. L. Goodstein - 1963 - Journal of Symbolic Logic 28 (3):251-252.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  21
    A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):199-201.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  10
    Mazur S.. Computable Analysis, Edited by Grzegorczyk A. And Rasiowa H., Rozprawy Matematyczne No. 33, Państwowe Wydawnictwo Naukowe, Warsaw 1963, 111 Pp. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
  39.  5
    Critical Notices.R. L. Goodstein - 1957 - Mind 66 (264):549-553.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  13
    On Limiting the Applications of the Uniqueness Rules in The Equation Calculus.R. Louis Goodstein - 1973 - Mathematical Logic Quarterly 19 (8‐10):115-116.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  12
    A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Mathematical Logic Quarterly 9 (12‐15):199-201.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  12
    The Mathematical Association Library at the University of Leicester.R. L. Goodstein - 1974 - British Journal for the History of Science 7 (1):100-103.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  9
    The Foundations of Mathematics.R. L. Goodstein & I. Lakatos - 1962 - Aristotelian Society Supplementary Volume 36 (1):145-184.
  44. Mathematical Systems.R. L. Goodstein - 1939 - Journal of Symbolic Logic 4 (3):122-123.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. The Axiomatic Method.R. L. Goodstein - 1962 - Aristotelian Society Supplementary Volume 36:145--54.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  46.  17
    Wittgenstein By W. W. Bartley Philadelphia and New York: J. B. Lippincott Co., 1973, 192 Pp., $6.95. [REVIEW]R. L. Goodstein - 1973 - Philosophy 48 (186):403-.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  10
    Gödel's proof.R. L. Goodstein - 1960 - Philosophical Books 1 (1):13-14.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  14
    A New Proof of Completeness.R. L. Goodstein - 1972 - Notre Dame Journal of Formal Logic 13 (4):563-564.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  49.  9
    Mathematical Logic and the Foundations of Mathematics.R. L. Goodstein - 1963 - Philosophical Books 4 (2):8-9.
  50.  15
    A Problem in Recursive Function Theory.R. L. Goodstein - 1953 - Journal of Symbolic Logic 18 (3):225-232.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 69