TY - BOOK AU - Katayana Omura, Roberto TI - Introducción a la lógica PY - 2003/// ER -