introduction to logic and proof techniques 9042480