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 |
Browsing AMREF INTERNATIONAL UNIVERSITY (AMIU) LIBRARY shelves, Shelving location: General Stacks, Collection: Non-fiction Close shelf browser (Hides shelf browser)
| Q325.5 .H83 2020 Machine learning for business : using Amazon SageMaker and Jupyter / | Q325.5 .H83 2020 Machine learning for business : using Amazon SageMaker and Jupyter / | QA9 .T875 2014 Alan Turing's systems of logic : the Princeton thesis / | QA9 .T875 2014 Alan Turing's systems of logic : the Princeton thesis / | QA9 .T875 2014 Alan Turing's systems of logic : the Princeton thesis / | QA 76 .B78 2020 Comptia linux+ xk0-004 cert guide / | QA 76 .B78 2020 Comptia linux+ xk0-004 cert guide / |
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.