Switch to: Citations

Add references

You must login to add references.
  1. Functionals defined by recursion.Luis Elpidio Sanchis - 1967 - Notre Dame Journal of Formal Logic 8 (3):161-174.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Ordinal analysis of terms of finite type.W. A. Howard - 1980 - Journal of Symbolic Logic 45 (3):493-504.
    Download  
     
    Export citation  
     
    Bookmark   8 citations