Robin O. Gandy

According to our database1, Robin O. Gandy
  • authored at least 7 papers between 1954 and 1977.
  • has a "Dijkstra number"2 of five.

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


  Loading...