Mathematical logic. (2001)

• Record Type: Book
• Further Information: Note: Edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].
• Other Names: Turing, Alan, 1912-1954; Gandy, R. O (Robin O.); Yates, C. E. M
• Publisher Details: Place of publication not identified : North Holland
• Publication Date: 2001
• Extent: 1 online resource (306 pages)
• Subjects: 511.3; Logic, Symbolic and mathematical; Logic, Symbolic and mathematical; Lambda-calculus; Typentheorie; Automatentheorie; Geheimschrift; Programmeren (computers); Berekenbaarheid; Mathematische Logik; Enigma; Mathematische Logik; Aufsatzsammlung
• Languages: English
• ISBNs: 9780080535920; 0080535925
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.