INGARAMO, Francisco Cálculo de predicados - Rafaela, 2006. - 19 páginas Subjects--Topical Terms: CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATIINGENIERIA EN INFORMÁTICALOGICA