Loading…
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.
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Princeton, New Jersey :
Princeton University Press,
2012.
|
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- 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.