TY - BOOK AU - NATELLA,Marcos Luis TI - Lógica proposicional PY - 2005/// CY - Rafaela, KW - CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI KW - INGENIERIA EN INFORMÁTICA KW - LOGICA ER -