# Robin O. Gandy

According to our database

^{1}, Robin O. Gandy## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1977

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

J. Symb. Log., 1977

1971

The Next Admissible Set.

J. Symb. Log., 1971

1970

Meeting of the Association for Symbolic Logic Manchester 1969.

J. Symb. Log., 1970

A Problem in the Theory of Constructive Order Types.

J. Symb. Log., 1970

1959

On the Axiom of Extensionality, Part II.

J. Symb. Log., 1959

1956

On the Axiom of Extensionality-Part I.

J. Symb. Log., 1956

1954

Summary of Unfinished Work

Collected Works, June, 1954