TY - BOOK AU - Velarde Lombraña,Julián AU - Bueno,Gustavo TI - Lógica formal / T2 - Tratado de lógica ; PY - 1982/// CY - Oviedo : PB - Pentalfa, KW - Lógica ER -