Mathematical logic - Turing, Alan Mathison, 1912-1954.; Gandy, R. O. (Robin O.); Yates, C. E. M. (Amsterdam ; New York : Elsevier Science, 2001)
Ηλεκτρονικό βιβλίο
Keywords: Logic, Symbolic and mathematical; Electronic books