Next: 1.1 Quién soy Up: Introducción a la deducción Previous: Contents Contents
Este tutorial está disponible en varios idiomas: español (y PDF), esperanto (y PDF), catalán (y PDF), e inglés (y PDF).
Las fórmulas quedan mucho más bonitas en el PDF, pero si no te es posible usarlo, mira las páginas en HTML.