Alan Turing's Systems of Logic: The Princeton Thesis
By: TURING, Alan Mathison | APPEL, Andrew W [,ed.]
Material type:
TextPublisher: Princeton: Princeton University Press, 2014Description: xv, 142 p., ills., tab., 25 cmSubject(s): TURING, ALAN MATHISON, 1912-1954 | LOGIC, SYMBOLIC/MATHEMATICAL
| Item type | Current library | Class number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books / Monographs |
Dominican University College Library / Collège Universitaire Dominicain
Hours of operation: Monday - Thursday 8am - 8:30 pm; Friday 8am - 4pm | Les heures d'ouverture : Lundi à jeudi de 8 h à 20 h 30; vendredi 8h - 16h
Standard shelving location / Rayonnage standard
|
QA 9 .2 T87 A43 2014 (Browse shelf (Opens below)) | Available | 116161-1001 |
Browsing Dominican University College Library / Collège Universitaire Dominicain shelves, Shelving location: Standard shelving location / Rayonnage standard Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||||
| QA 9 .G65 F65 1974 Les fondements des mathématiques : De la Géométrie d'Euclide à la Relativité générale et à l'Intuitionisme | QA 9 .M36 I53 1987 To infinity and beyond : a cultural history of the infinite ; with 162 Illustrations and 6 Color Plates | QA 9 .2 F44 1998 In the light of logic / | QA 9 .2 T87 A43 2014 Alan Turing's Systems of Logic: The Princeton Thesis | QA 9 .4 P75 I58 2016 An Introduction to Non-Classical Logic | QA 9 .45 M35 1993 Many-Valued Logics | QA 9 .47 B76 D34 1981 Brouwer's Cambridge lectures on intuitionism / |
Footnotes end pages
Bibliography: pp. 139-142
There are no comments on this title.