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