Modern logic an introduction
Thomas, Norman L.
Lanham London University Press of America
c1984
Includes index
Logic, Symbolic and mathematical.