1985 | ||
---|---|---|
4 | Thomas J. Grilliot: Disturbing Arithmetic. J. Symb. Log. 50(2): 375-379 (1985) | |
1972 | ||
3 | Thomas J. Grilliot: Omitting Types: Application to Recursion Theory. J. Symb. Log. 37(1): 81-89 (1972) | |
1971 | ||
2 | Thomas J. Grilliot: On Effectively Discontinuous Type-2 Objects. J. Symb. Log. 36(2): 245-248 (1971) | |
1969 | ||
1 | Thomas J. Grilliot: Hierarchies Based on Objects of Finite Type. J. Symb. Log. 34(2): 177-182 (1969) |