7 found
Sort by:
  1. Thomas J. Grilliot (1985). Disturbing Arithmetic. Journal of Symbolic Logic 50 (2):375-379.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Thomas J. Grilliot (1972). Omitting Types: Application to Recursion Theory. Journal of Symbolic Logic 37 (1):81-89.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. 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)  
     
    My bibliography  
     
    Export citation  
  4. Thomas J. Grilliot (1971). On Effectively Discontinuous Type-2 Objects. Journal of Symbolic Logic 36 (2):245-248.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Thomas J. Grilliot (1969). Hierarchies Based on Objects of Finite Type. Journal of Symbolic Logic 34 (2):177-182.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Thomas J. Grilliot (1969). Selection Functions for Recursive Functionals. Notre Dame Journal of Formal Logic 10 (3):225-234.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation