Understanding symbolic logic
Massey, Gerald J.
New York London Harper & Row
1970
Logic, Symbolic and mathematical.