Introducción a la teoría de la deducción : aspectos sintácticos de la lógica - Lungarzo, Carlos (Biblos, 1986)