Switch to: Citations

Add references

You must login to add references.
  1. Proof theory.K. Schütte - 1977 - New York: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Describing ordinals using functionals of transfinite type.Peter Aczel - 1972 - Journal of Symbolic Logic 37 (1):35-47.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Regular Ordinals and Normal Forms.David Isles, A. Kino, J. Myhill & R. E. Vesley - 1973 - Journal of Symbolic Logic 38 (2):334-335.
    Download  
     
    Export citation  
     
    Bookmark   1 citation