Title: Introducción a la teoría de los sistemas deductivos
First published: 1998
Subjects: Logic, Symbolic and mathematical, Logical complexity, Symbolic and mathematical Logic
LC classification: QA9 .M33 1998