Alan Turing's systems of logic : the Princeton thesis / edited and introduced by Andrew W. Appel.
Material type:
TextPublisher: Princeton, New Jersey : Princeton University Press, 2014Description: xv, 142 p.; portraits, facsimilesContent type: - text
- computer
- online resource
- 9781400843213
- QA9 .T875 2014
- Cataloging Notes: 20250102 STAMIU-0199STAMIU-0199
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
AMREF INTERNATIONAL UNIVERSITY (AMIU) LIBRARY General Stacks | Non-fiction | QA9 .T875 2014 (Browse shelf(Opens below)) | Available | 20986 | ||
|
Book
|
AMREF INTERNATIONAL UNIVERSITY (AMIU) LIBRARY General Stacks | Non-fiction | QA9 .T875 2014 (Browse shelf(Opens below)) | Available | 20985 | ||
|
Book
|
AMREF INTERNATIONAL UNIVERSITY (AMIU) LIBRARY General Stacks | Non-fiction | QA9 .T875 2014 (Browse shelf(Opens below)) | Available | 20988 |
Includes bibliographical references.
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.
Presented here in its original form, this fascinating thesis is one of the key documents in the history of mathematics and computer science.
Cataloging Notes: 20250102 STAMIU-0199STAMIU-0199
Print version record.
JSTOR Books at JSTOR Evidence Based Acquisitions.
There are no comments on this title.