Mathematical Logic - Joseph R. Shoenfield (Taylor and Francis, 1967)