Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Download  
     
    Export citation  
     
    Bookmark   220 citations  
  • (2 other versions)Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • (1 other version)A detailed argument for the Post-Linial theorems.Mary Katherine Yntema - 1964 - Notre Dame Journal of Formal Logic 5 (1):37-50.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (1 other version)The Post-Lineal theorems for arbitrary recursively enumerable degrees of unsolvability.Ann H. Ihrig - 1965 - Notre Dame Journal of Formal Logic 6 (1):54-72.
    Download  
     
    Export citation  
     
    Bookmark   5 citations