TY  - BOOK
AU  - VERNA,Melina
TI  - Cálculo proposicional
PY  - 2006///
CY  - Rafaela, 
KW  - CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI
KW  - INGENIERIA EN INFORMÁTICA
KW  - LOGICA
N1  - Cátedra: Lógica y semántica formales. Carrera: Ingeniería en computación
ER  -