Introducción a la teoría de los sistemas deductivos
By: Huberto Marraud.
Series: Documentos de trabajo -- 28; Documentos de trabajo (Universidad Autónoma de Madrid) -- 28.
Publisher: UAM Ediciones
Published: 1998
Place of publication: Madrid
Language: spa
Number of pages: 112
Subjects: Logic, Symbolic and mathematical.; Logical complexity.
Other titles: Teoría de los sistemas deductivos
Notes: Includes bibliographical references.