Cargando…
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: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Princeton, New Jersey :
Princeton University Press,
2012.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- The birth of computer science at Princeton in the 1930s / Andrew W. Appel
- Turing's thesis / Solomon Feferman
- Notes on the manuscript
- Systems of logic based on ordinals / Alan Turing.