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.
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: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
In the Light of Logic.
por: Feferman, Solomon
Publicado: (1999) -
Handbook of Mathematical Logic.
por: Barwise, Jon
Publicado: (1989) -
Collected works.
por: Gödel, Kurt
Publicado: (1986) -
Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007) -
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Publicado: (2007)