Next: 1.1 Who am I Up: Introduction to natural deduction Previous: Contents Contents
This tutorial is available in several languages: Spanish (and PDF), Esperanto (and PDF), Catalan (and PDF), and English (and PDF).
Formulas look much nicer in the PDF, but if it's not possible to use it, then look at the HTML pages.