Robin O. Gandy

According to our database, Robin O. Gandy authored at least 7 papers between 1954 and 1977.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1977

European Meeting of the Association for Symbolic Logic: Oxford, England, 1976.

Robin O. Gandy, Dana S. Scott

J. Symb. Log., 1977

1971

The Next Admissible Set.

K. Jon Barwise, Robin O. Gandy, Yiannis N. Moschovakis

J. Symb. Log., 1971

1970

Meeting of the Association for Symbolic Logic Manchester 1969.

Robin O. Gandy, C. E. M. Yates

J. Symb. Log., 1970

A Problem in the Theory of Constructive Order Types.

Robin O. Gandy, Robert I. Soare

J. Symb. Log., 1970

1959

On the Axiom of Extensionality, Part II.

Robin O. Gandy

J. Symb. Log., 1959

1956

On the Axiom of Extensionality-Part I.

Robin O. Gandy

J. Symb. Log., 1956

1954

Summary of Unfinished Work

Alan M. Turing, Robin O. Gandy

Collected Works, June, 1954