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)

444504230

2001023846


Logic, Symbolic and mathematical

511.3 TUR