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).
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
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).
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
Try LotSearch and its premium features for 7 days - without any costs!
Be notified automatically about new items in upcoming auctions.
Create an alert