Turing,, A. M.,, 1912-1954
Mathematical logic / [A. M. Turing] ; edited by R. O. Gandy and C. E. M. Yates ; including prefaces by Solomon Feferman... [et al.]
Mathematical logic / [A. M. Turing] ; edited by R. O. Gandy and C. E. M. Yates ; including prefaces by Solomon Feferman... [et al.]
. - Amsterdam : Elsevier, 2001
. - XII, 293 p. : il. 25 cm
. - (Collected works of A.M. Turing)
0-444-50423-0 Encadernado
510.6