Propositional logic a student introduction - Foster, Alan W.; Shute, Grahame J. (Dept. of Educational Enquiry, University of Aston in Birmingham, 1976)