Mathematical logic / by J.R. Shoenfield. - Shoenfield, J. R. (Addison-Wesley, 1967)