Biblioteca Jorge Álvarez Lleras Koha

Vista normal Vista MARC Vista ISBD

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis - Mineola: Dover Publications, 1993 - 413 p.

Incluye bibliografía al final de cada capítulo e indice p. 434

ISBN: 0486432289

Subjects--Topical Terms:
INSOLUDIBILIDAD (LOGICA MATEMATICA)
FUNSIONES RECURSIVAS
MAQUINA DE TURING
TEOREMA DE GEDEL

Dewey Class. No.: 511.3 / U533

Hacer reserva
Imprimir
Agregar a su carrito (remover)
Guardar registro
Más búsquedas
Código QR

Biblioteca Jorge Álvarez Lleras

SERVICIOS

Recursos
electrónicos

Metabuscador

Herramientas
de análisis
e impacto

Gestores
bibliográficos

Repositorio

Oferta académica

Nuestro Campus

Internacionalización

Ayuda