Computability and unsolvability

Gardado en:

Detalles Bibliográficos
Autor Principal:	Davis, Martin (Author)
Formato:	Libro
Idioma:	inglés
Publicado:	Nueva York Dover 1982
Series:	Dover Books on Mathematics
Subjects:	COMPUTABILIDAD FUNCIONES RECURSIVAS Lógica matemática MAQUINAS DE TURING
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Computability and unsolvability por Davis, Martin

Publicado 1958

Libro