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