Languages
Gandy, R. O.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
Generalized recursion theory II = proceedings of the 1977 Oslo symposium /
by:
Gandy, R. O.; Fenstad, Jens Erik.; Workshop on the Preservation of Stability under Discretization ((2001 :); Sacks, Gerald E.
(Language materials, printed)
Mathematical logic
by:
Gandy, R. O.; Turing, Alan Mathison, (1912-1954.); Yates, C. E. M.
(Language materials, printed)
Logic Colloquium 76 = proceedings of a conference held in Oxford in July 1976 /
by:
Gandy, R. O.; Hyland, John Martin Elliott.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Logic Colloquium '69 = Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969 /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Yates, Charles Edmund Michael.; Gandy, R. O.
(Language materials, printed)