8 found
Order:
  1. 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  
  2.  11
    Thomas J. Grilliot (1972). Omitting Types: Application to Recursion Theory. Journal of Symbolic Logic 37 (1):81-89.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  5
    Thomas J. Grilliot (1971). On Effectively Discontinuous Type-2 Objects. Journal of Symbolic Logic 36 (2):245-248.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  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   1 citation  
  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 (6 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  8. 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.