Switch to: Citations

Add references

You must login to add references.
  1. Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • (1 other version)A basic logic.Frederic B. Fitch - 1942 - Journal of Symbolic Logic 7 (3):105-114.
    Download  
     
    Export citation  
     
    Bookmark   14 citations