Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
    Download  
     
    Export citation  
     
    Bookmark   78 citations