Title: Instructor's manual to accompany Introduction to logic