A mathematical introduction to logic
Enderton, Herbert Bruce.
New York London Academic Press
1972
Includes index
Logic, Symbolic and mathematical.