TY  - BOOK
AU  - INGARAMO,Francisco
TI  - Cálculo de predicados
PY  - 2006///
CY  - Rafaela, 
KW  - CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI
KW  - INGENIERIA EN INFORMÁTICA
KW  - LOGICA
ER  -