Vista normal Vista MARC Vista ISBD

El teorema de completitud de Godel y el lema de interpolaciondeCraig, via el teorema de Herbrand Diego Jara Pinzon ; director : Xavier Caicedo.

Por: Jara Pinzon, Diego.
Colaborador(es): Caicedo Ferrer, Xavier.
Editor: Bogota Universidad de los Andes 1995Descripción: 26 p. 28 cm.Tema(s): TEOREMA DE GODEL | CALCULO PROPOSICIONAL | AXIOMAS | LOGICA SIMBOLICA Y MATEMATICA | INTERPOLACION MATEMATICASNota de disertación: Tesis (Matematico) -- Universidad de los Andes.
    valoración media: 0.0 (0 votos)
Tipo de ítem Ubicación actual Colección Signatura Estado Fecha de vencimiento
Libro Libro PEI-Programa estimulos a los investigadores PEI 00121 (Navegar estantería) Disponible

Tesis (Matematico) -- Universidad de los Andes.

Incluye bibliografia.

No hay comentarios para este ítem.

Ingresar a su cuenta para colocar un comentario.

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)