Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
    Download  
     
    Export citation  
     
    Bookmark   170 citations  
  • A classification of the ordinal recursive functions.S. S. Wainer - 1970 - Archive for Mathematical Logic 13 (3-4):136-153.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (2 other versions)Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.
    Download  
     
    Export citation  
     
    Bookmark   103 citations