Search Results for Gandy, R. O.

4 Results Found

0000DEFAULT

Mathematical logic

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:

Availability

Online Library~1

Available:
Copies:

Generalized recursion theory II proceedings of the 1977 Oslo Symposium

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:

Availability

Online Library~1

Available:
Copies:

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

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:

Availability

Online Library~1

Available:
Copies:

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

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:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}