1977 | ||
---|---|---|
6 | Robin O. Gandy, Dana S. Scott: European Meeting of the Association for Symbolic Logic: Oxford, England, 1976. J. Symb. Log. 42(3): 437-479 (1977) | |
1971 | ||
5 | K. Jon Barwise, Robin O. Gandy, Yiannis N. Moschovakis: The Next Admissible Set. J. Symb. Log. 36(1): 108-120 (1971) | |
1970 | ||
4 | Robin O. Gandy, Robert I. Soare: A Problem in the Theory of Constructive Order Types. J. Symb. Log. 35(1): 119-121 (1970) | |
3 | Robin O. Gandy, C. E. M. Yates: Meeting of the Association for Symbolic Logic Manchester 1969. J. Symb. Log. 35(4): 598-613 (1970) | |
1959 | ||
2 | Robin O. Gandy: On the Axiom of Extensionality, Part II. J. Symb. Log. 24(4): 287-300 (1959) | |
1956 | ||
1 | Robin O. Gandy: On the Axiom of Extensionality--Part I. J. Symb. Log. 21(1): 36-48 (1956) |
1 | K. Jon Barwise (Jon Barwise) | [5] |
2 | Yiannis N. Moschovakis | [5] |
3 | Dana S. Scott | [6] |
4 | Robert I. Soare | [4] |
5 | C. E. M. Yates | [3] |