01014nam a2200241 a 4500 1/38013 090723s2001 ne a b 000 0 eng 9780444504234 40639 DLC DLC DLC GR-PeUP eng Turing, Alan Mathison, 1912-1954. Mathematical logic [electronic resource] / edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman ... [et al.]. Amsterdam ; New York : Elsevier Science, 2001. Ένα html e-book. Ηλεκτρονικό βιβλίο Τρόπος πρόσβασης μέσω διαδικτύου. Logic, Symbolic and mathematical. Electronic books. Gandy, R. O. (Robin O.) Yates, C. E. M. INST UNIPILB EBOOKS 20100625 00b40639 00b40639 ONLINE 0 http://www.sciencedirect.com/science/book/9780444504234 /webopac/covers/02/40639_9780444504234.jpg