Mathematical Logic - Shoenfield Joseph R. (1967)
Keywords: Logic