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