TURING, Alan. 'Practical forms of type theory.' Offprint from: The Journal of Symbolic Logic , vol. 13, no. 2. Princeton, NJ: 1948. 8° (254 x 175mm). 18pp., 79-94. (A few leaves lightly dog-eared, faint finger-soiling.) Stapled self wrappers (light soiling and ceasing, tiny chip to top corner of front wrapper). Provenance : Alan Turing (presentation inscription to:) -- R.O. Gandy (occasional marginalia, mainly in pencil, but with one note in red biro).
TURING, Alan. 'Practical forms of type theory.' Offprint from: The Journal of Symbolic Logic , vol. 13, no. 2. Princeton, NJ: 1948. 8° (254 x 175mm). 18pp., 79-94. (A few leaves lightly dog-eared, faint finger-soiling.) Stapled self wrappers (light soiling and ceasing, tiny chip to top corner of front wrapper). Provenance : Alan Turing (presentation inscription to:) -- R.O. Gandy (occasional marginalia, mainly in pencil, but with one note in red biro). A RARE PRESENTATION COPY INSCRIBED BY TURING 'with the author's compliments' to one of his few supporters. Turing's autograph is exceptionally scarce: ABPC records just one at selling at auction in over 30 years, a programmers' handbook signed by Turing on the upper cover (sold, Bloomsbury, 28 October 1999, lot 332, for £12,000). In January 1947 Turing attended, as the only British delegate, the Symposium on Large Scale Digital Computing at Harvard. Although ostensibly there as the National Physical Laboratory's representative, one offshoot was AMT's chance to re-acquaint himself with former Princeton colleagues Claude Shannon and Andrew Gleason. He took the opportunity of brushing up on type theory and submitting this paper -- an extension of his Bletchley work -- to Church's journal.
TURING, Alan. 'Practical forms of type theory.' Offprint from: The Journal of Symbolic Logic , vol. 13, no. 2. Princeton, NJ: 1948. 8° (254 x 175mm). 18pp., 79-94. (A few leaves lightly dog-eared, faint finger-soiling.) Stapled self wrappers (light soiling and ceasing, tiny chip to top corner of front wrapper). Provenance : Alan Turing (presentation inscription to:) -- R.O. Gandy (occasional marginalia, mainly in pencil, but with one note in red biro).
TURING, Alan. 'Practical forms of type theory.' Offprint from: The Journal of Symbolic Logic , vol. 13, no. 2. Princeton, NJ: 1948. 8° (254 x 175mm). 18pp., 79-94. (A few leaves lightly dog-eared, faint finger-soiling.) Stapled self wrappers (light soiling and ceasing, tiny chip to top corner of front wrapper). Provenance : Alan Turing (presentation inscription to:) -- R.O. Gandy (occasional marginalia, mainly in pencil, but with one note in red biro). A RARE PRESENTATION COPY INSCRIBED BY TURING 'with the author's compliments' to one of his few supporters. Turing's autograph is exceptionally scarce: ABPC records just one at selling at auction in over 30 years, a programmers' handbook signed by Turing on the upper cover (sold, Bloomsbury, 28 October 1999, lot 332, for £12,000). In January 1947 Turing attended, as the only British delegate, the Symposium on Large Scale Digital Computing at Harvard. Although ostensibly there as the National Physical Laboratory's representative, one offshoot was AMT's chance to re-acquaint himself with former Princeton colleagues Claude Shannon and Andrew Gleason. He took the opportunity of brushing up on type theory and submitting this paper -- an extension of his Bletchley work -- to Church's journal.
Try LotSearch and its premium features for 7 days - without any costs!
Be notified automatically about new items in upcoming auctions.
Create an alert
.jpg "Source: Christie's")
.jpg "Source: Christie's")
