Gandy, R. O.

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. (書目-語言資料,印刷品)

Mathematical logic by: Gandy, R. O.; Turing, Alan Mathison, (1912-1954.); Yates, C. E. M. (書目-語言資料,印刷品)

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 :) (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品)