Switch to: Citations

Add references

You must login to add references.
  1. Intensional interpretations of functionals of finite type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Mathematical significance of consistency proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.
    Download  
     
    Export citation  
     
    Bookmark   22 citations