Introduction to natural deduction Daniel Clemente Laboreo August 2004 (reviewed at May 2005) Contents 1 Before starting... 1.1 Who am I . . . . . . . . 1.2 Why do I write…
