01236nam a2200313 i 4500991003278079707536m d cr cn|||||||||080616s2001 ne a sb 000 0 eng d97804445042340444504230b13659716-39ule_instDip.to Matematicaeng511.322Turing, Alan Mathison53370Mathematical logic[e-book] /edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.]Amsterdam ;New York :Elsevier Science,2001xii, 293 p. :ill. ;25 cmCollected works of A. M. TuringIncludes bibliographical references (p. 281-287)Logic, Symbolic and mathematicalGandy, R. O.(Robin O.)Yates, C. E. M.ScienceDirecthttp://www.sciencedirect.com/science/book/9780444504234An electronic book accessible through the World Wide Web; click for information.b1365971603-03-2229-01-08991003278079707536Mathematical logic748371UNISALENTOle01329-01-08m@ -engne 00