Sale 1550 Lot 46 Prev Next Go to: Go

TURING, Alan Mathison (1912-1954). '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. (last leaf faintly creased.) Stapled self wrappers (front wrapper detached and slightly chipped). Provenance: ALAN TURING (his presentation inscription on upper cover to:) -- R.B. Braithwaite (occasional pencil marginalia).

Price Realized

Estimate

  • £7,000 - £10,000
  • ($11,760 - $16,800)

Sale Information

Buy Catalogue

Lots In This Sale

close