Estadísticas del PDF: Formalización en Isar de la metalógica de primer orden

DEPARTAMENTO DE CIENCIAS DE LA COMPUTACI ÓN

E INTELIGENCIA ARTIFICIAL

Formalización en Isar de la metalógica de

primer orden

Memoria presentada por
Fabián Fernando Serrano Suárez
para optar al grado de
Doctor en el Programa de
Lógica, Computación e
Inteligencia Artificial
por la Universidad de Sevilla

V. B. Directores

José Antonio Alonso Jiménez

Francisco Jes ús Martín Mateos

Sevilla, 6 de febrero de 2012

2

Creo poder hacer muy clara la relación de mi conceptografía con el
lenguaje com...