語系
Gandy, R. O.
概要
作品: | 1 作品在 4 項出版品 1 種語言 |
---|
書目資訊
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.
(書目-語言資料,印刷品)