Propositional logic a student introduction
Foster, Alan W.
Shute, Graham J.
Birmingham Department of Educational Enquiry, University of Aston in Birmingham
1976
With answers
Propositional calculus.