Computability and logic
Boolos, George.
Jeffrey, Richard C.
London Cambridge University Press
1974
Includes index
Logic, Symbolic and mathematical.