| Recently found by viaLibri....
COMPUTABILITY AND LAMDA-DEFINABILITY [together - TURING, A. M. [Alan Mathison Tu - 1937. 
Assn. for Symbolic Logic 1937 - Royal 8vo, pp. 145 - 188. The original issue of The Journal of Symbolic Logic published as Volume 2, Number 4, December 1937. An extraordinary copy, almost as issued 80 years ago. The only noticeable evidence of its age being a slight darkening to the extreme edges of the stiff card covers. The contents are bright and unmarked. Besides the two articles by Turing, this issue also contains articles by W. V. Quine ("Logic based on inclusion and abstraction") and B. A. Bernstein ("Remark on Nicud's reduction of 'Principia mathematica'"). At the time these articles were written, Turing was studying under Alonzo Church at Princeton University, from which institution he obtained his Ph.D. in 1938. These articles preceed his war work at Bletchley Park, in England, where Turing helped crack the "Enigma" machine code. The complete issue in the original printed stiff card covers [Attributes: First Edition; Soft Cover]
[Bookseller: GREENFIELD BOOKS Ltd.]
Copyright © 2016 viaLibri Limited. All rights reserved.