Mathematical logic.
Shoenfield, Joseph Robert.
Reading, Mass.; London, 
[1967]