Incompletitud del cálculo de predicados
PELAEZ, Enrique
Incompletitud del cálculo de predicados - Rafaela, 2006. - 16 páginas
Trabajo final de Lógica y Semántica Formales. Carrera: Ingeniería en Computación.
CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI
INGENIERIA EN INFORMÁTICA
LOGICA
Incompletitud del cálculo de predicados - Rafaela, 2006. - 16 páginas
Trabajo final de Lógica y Semántica Formales. Carrera: Ingeniería en Computación.
CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI
INGENIERIA EN INFORMÁTICA
LOGICA