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