Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #Gandy R. O.)
Results:3items
Mathematical logic / edited by R.O. Gandy and C.E.M. Yates
Amsterdam ; New York : North-Holland : Elsevier , 2001. - (Collected works of A.M. Turing)
Books
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / edited by R. O. Gandy, J. M. E. Hyland.
v. 87. - Amsterdam : North-Holland , 1977. - New York : Elsevier North-Holland , 1977. - (Studies in logic and the foundations of mathematics ; v. 87)
Generalized recursion theory II : proceedings of the 1977 Oslo symposium / edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks.
v. 94. - Amsterdam : North-Holland , 1978. - New York : Elsevier North-Holland , 1978. - (Studies in logic and the foundations of mathematics ; v. 94)