Computability and logic
Boolos, George.
Jeffrey, Richard C.
Cambridge University Press
1980
Previous ed.: 1974
Includes index
Logic, Symbolic and mathematical.