Switch to: Citations

Add references

You must login to add references.
  1. Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
    Direct download  
     
    Export citation  
     
    Bookmark   220 citations  
  • Algebraic Recursion Theory.Dag Normann - 1988 - Journal of Symbolic Logic 53 (3):986-987.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The Lambda Calculus. Its Syntax and Semantics.E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
    Direct download  
     
    Export citation  
     
    Bookmark   72 citations