Next: 1.4 Licencia Up: 1 Antes de nada... Previous: 1.2 Por qué escribo Contents
En principio, a cualquiera que le guste la lógica, la informática, o las matemáticas. Quien quiera prepararse para las asignaturas de lógica de la universidad también ganará algunos conceptos útiles.
Esto no pretende ser un curso completo sobre deducción natural, sino que seguirá siendo una introducción. Cuando aprenda más, la corregiré si hace falta, pero no le añadiré más secciones (las haría en documentos aparte).