Symbolic logic: an introduction
Thomason, Richard Hunt.
New York Macmillan (N.Y.) London Collier-Macmillan
1970
With answers
Logic, Symbolic and mathematical.