Changelog

2018-11-13: Agregada la sección de lógica lineal.
2018-10-22: Arreglado un error en la definición de la substitución de la página 7.
2018-10-03: Arreglado un salto de página erróneo en página 23.
2018-09-24: Error en el ejemplo 7.5, y regla "mu" rebautizada "fix".
2018-09-19: Sección Sistema F agregada.
2018-09-17: Tipos en ejemplos 5.5 y 5.8.