Switch to: Citations

Add references

You must login to add references.
  1. Hyperanalytic Predicates.Yiannis N. Moschovakis & Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):147-148.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (2 other versions)Recursive Functionals and Quantifiers of Finite Types I.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-83.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Recursive Functionals and Quantifiers of Finite Types II.S. C. Kleene - 1971 - Journal of Symbolic Logic 36 (1):146-146.
    Download  
     
    Export citation  
     
    Bookmark   7 citations