Decidabilidad (Logica Matematica) (Topical Term)

Esta autoridad no está utilizada en ningún registro.

Forma preferida: Decidabilidad (Logica Matematica)

Ver además:

Encabezamiento genérico: Funciones calculables
Encabezamiento genérico: Funciones recursivas
Encabezamiento genérico: Logica simbolica y matematica
Encabezamiento genérico: Teorema de godel
Encabezamiento específico: Funciones calculables
Encabezamiento específico: Funciones recursivas
Encabezamiento específico: Teorema de godel

Notas

CD Subjet Headings / Library of Congress, 1996

LC Authorities / Library of Congress, (Jun,2003) Disponible en Internet: http://authorities.loc.gov

LEMB

Lista de encabezamientos de materia de la Red de Bibliotecas del CSIC / CSIC, 1995

Institución Universitaria de Envigado
Nit: 811000278-2
Teléfono Conmutador
PBX: (+57) 604 339 1010
WhatsApp: (+57) 3142045564
Línea de atención gratuita: 018000416811
Línea anticorrupción:
(+57) 604 339 1010 ext 1319
Dirección: Carrera 27B # 39A Sur 57- Envigado, Colombia
Correo de gestiones institucionales: info@iue.edu.co
Correo de notificaciones judiciales: Notificaciones.judiciales@iue.edu.co
Horario de atención: Lunes a Jueves de 7:00a.m a 12:00p.m y de 2:00p.m a 6:00p.m.
Viernes de 7:00a.m a 12:00p.m y de 1:00p.m a 5:00p.m.

Tesorería: Lunes a Jueves de 7:00a.m a 12:00p.m y de 2:00p.m a 5:30 p.m. Viernes de 7:00 a.m. a 12:00 m. y de 1:00 a 4:30 p.m.

Servicios IUE