TY - BOOK AU - Bertossi Leopoldo TI - Lógica para ciencia de la computación PY - 1996/// CY - [s.l.] PB - Ediciones Universidad Católica De Chile KW - Computacion KW - Libros de texto ER -