Turing, Alan Mathison Mathematical logic A. M. Turning ; edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.] - Amsterdam ; New York Elsevier Science 2001 - xii, 293 p. : ill. ; 25 cm., : alk. paper Includes bibliographical references (p. 281-287) ISBN: 444504230 ISSN: 2001023846 Subjects--Topical Terms: Logic, Symbolic and mathematical Dewey Class. No.: 511.3 TUR