Title: Instructor's manual to accompany 'The elements of logic'