1. Mathematical logic. (2001) Other Names: Turing, Alan, 1912-1954; Gandy, R. O (Robin O.); Yates, C. E. M Record Type: Book Extent: 1 online resource (306 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Handbook of computability theory. (1999) Other Names: Griffor, Edward R Record Type: Book Extent: 1 online resource (724 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗