10 found
Order:
  1.  1
    Selection Functions for Recursive Functionals.Thomas J. Grilliot - 1969 - Notre Dame Journal of Formal Logic 10 (3):225-234.
  2. Hyperanalytic Predicates.Yiannis N. Moschovakis & Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):147-148.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  3.  14
    Omitting Types: Application to Recursion Theory.Thomas J. Grilliot - 1972 - Journal of Symbolic Logic 37 (1):81-89.
  4.  6
    On Effectively Discontinuous Type-2 Objects.Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (2):245-248.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  1
    Moschovakis Yiannis N.. Abstract First Order Computability. Transactions of the American Mathematical Society, Vol. 138 , Pp. 427–464 and Pp. 465–504. [REVIEW]Thomas J. Grilliot - 1972 - Journal of Symbolic Logic 37 (4):758.
  6.  2
    Review: Yiannis N. Moschovakis, Abstract First Order Computability. [REVIEW]Thomas J. Grilliot - 1972 - Journal of Symbolic Logic 37 (4):758-758.
  7.  5
    Disturbing Arithmetic.Thomas J. Grilliot - 1985 - Journal of Symbolic Logic 50 (2):375-379.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  8.  1
    Hierarchies Based on Objects of Finite Type.Thomas J. Grilliot - 1969 - Journal of Symbolic Logic 34 (2):177-182.
  9. Kleene S. C.. Recursive Functionals and Quantifiers of Finite Types II. Transactions of the American Mathematical Society, Vol. 108 , Pp. 106–142. [REVIEW]Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):146.
  10. Review: S. C. Kleene, Recursive Functionals and Quantifiers of Finite Types II. [REVIEW]Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):146-146.