Switch to: Citations

Add references

You must login to add references.
  1. Notation Systems and Recursive Ordered Fields.Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (4):650-651.
  • Recursive analysis.R. L. Goodstein - 1961 - Mineola, N.Y.: 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  
  • The Primitive Recursive Analysis of Ordinary Differential Equations and the Complexity of their Solutions.John Cleave - 1974 - Journal of Symbolic Logic 39 (2):345-346.
  • Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.
  • Recursive Metric Spaces.Y. N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (4):651-652.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • On the Continuity of Constructive Functions.A. A. Markov - 1956 - Journal of Symbolic Logic 21 (3):319-320.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Konstruktive Analysis.Dieter Klaua - 1973 - Journal of Symbolic Logic 38 (1):154-155.
  • Computable Functionals.A. Grzegorczyk - 1959 - Journal of Symbolic Logic 24 (1):50-51.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations