Mathematical logic / edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].

Bibliographic Details

Main Author:	Turing, Alan, 1912-1954
Other Authors:	Gandy, R. O. (Robin O.) Yates, C. E. M.
Language:	English
Published:	Amsterdam ; New York : Elsevier Science, 2001.
Series:	Turing, Alan, 1912-1954. Works. 1990.
Subjects:	Logic, Symbolic and mathematical.
Physical Description:	xii, 293 pages : illustrations ; 25 cm.
Format:	Book