Alan Turing's Systems of Logic

Princeton, NJ: Princetown University Press, 2012. First ed., first printing (full number line). Quarto with black cloth boards in red and white pictorial jacket;143p; illustrations; facsimiles; bibliography; 26cm Near fine copy with minimal wear to edges of boards; clean, crisp and tight inside; jacket is about near fine jacket; some warping to upper edge of jacket and very light shelfwear; now in archival mylar. Hardcover.

Niche Turing content, even more relevant in the age of ChatGPT! "Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. [...] Though less well known than his other work, Turing's 1938 thesis, "Systems of Logic Based on Ordinals," which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. This book presents a facsimile of the original typescript of the thesis along with essays by Andrew Appel and Solomon Feferman that explain its still-unfolding significance." --Jacket copy.