Next: 1.1 Qui soc Up: Introducció a la deducció Previous: Contents Contents
Aquest tutorial està disponible en molts idiomes: espanyol (i PDF), esperanto (i PDF), català (i PDF), i anglès (i PDF).
Les fórmules queden molt més maques al PDF, però si no t'és possible usar-ho, mira les pàgines en HTML.