Robin O. Gandy

Publication Activity (10 Years)

Years Active: 1956-1977
Publications (10 Years): 0

Publications

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