TY - BOOK AU - Stahl, Gerold TI - Introducción a la lógica simbólica CY - Santiago de Chile KW - LOGICA/BDT ER -