Alan Turing's systems of logic : the Princeton thesis /

Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Turing, Alan, 1912-1954 (Autor)
Otros Autores: Appel, Andrew W., 1960- (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton, New Jersey : Princeton University Press, 2012.
Temas:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
COMPUTERS > Computer Science.
Logic, Symbolic and mathematical
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares