Jara Pinzon, Diego.

El teorema de completitud de Godel y el lema de interpolaciondeCraig, via el teorema de Herbrand Xavier Caicedo. Diego Jara Pinzon ; director : - Bogota Universidad de los Andes 1995 - 26 p. 28 cm.

Tesis (Matematico) -- Universidad de los Andes.

Incluye bibliografia.


TEOREMA DE GODEL
CALCULO PROPOSICIONAL
AXIOMAS
LOGICA SIMBOLICA Y MATEMATICA
INTERPOLACION MATEMATICAS

Biblioteca Cendoc - Bogotá, Colombia
Dirección: Avenida Calle 26 # 57-41 Torre 8 Pisos del 2 al 6
Teléfonos: (57) (1) 6258480 o 018000914446
Fax: (57) (1) 6258481
Horario: Lunes a Jueves 8:00am - 5:00pm y Viernes 7:00am- 4:00pm (Jornada contínua)