Introducción a la lógica - Gamut, LTF (Enciclopedia Lógica / Eduardo Barrio, 2004)