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).

Details
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.

Brought to you by

Eugenio Donadoni
Eugenio Donadoni

Check the condition report or get in touch for additional information about this

If you wish to view the condition report of this lot, please sign in to your account.

Sign in
View condition report

More from Valuable Printed Books and Manuscripts

View All
View All