Search Results for Gandy, R. O. - Narrowed by: Electronic Library

Mathematical logic

2025-01-21T05:30:33Z

Author Turing, Alan Mathison, 1912-1954. Gandy, R. O. (Robin O.) Yates, C. E. M.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444504234
Format: Electronic Resources
Availability Online Library~1

Generalized recursion theory II proceedings of the 1977 Oslo Symposium

2025-01-21T05:30:33Z

Author Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo) Fenstad, Jens Erik. Gandy, R. O. (Robin O.) Sacks, Gerald E.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976

2025-01-21T05:30:33Z

Author Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

2025-01-21T05:30:33Z

Author Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: Electronic Resources
Availability Online Library~1