1971 | ||
---|---|---|
4 | M. D. Gladstone: Simplifications of the Recursion Scheme. J. Symb. Log. 36(4): 653-665 (1971) | |
1967 | ||
3 | M. D. Gladstone: A Reduction of the Recursion Scheme. J. Symb. Log. 32(4): 505-508 (1967) | |
1966 | ||
2 | M. D. Gladstone: Finite Models for Inequations. J. Symb. Log. 31(4): 581-592 (1966) | |
1964 | ||
1 | John C. Shepherdson, S. Korner, M. D. Gladstone: Meeting of the Association for Symbolic Logic. J. Symb. Log. 29(4): 218-228 (1964) |
1 | S. Korner | [1] |
2 | John C. Shepherdson | [1] |