Logic
Nuffield Mathematics Project.
Edinburgh W. and R. Chambers London J. Murray
1972
With answers
Logic, Symbolic and mathematical