viaLibri Requires Cookies CLICK HERE TO HIDE THIS NOTICE

Recently found by viaLibri....

COMPUTABILITY AND LAMDA-DEFINABILITY [together - TURING, A. M. [Alan Mathison Tu - 1937. [1275169]
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.]
Last Found On: 2016-11-27           Check availability:      AbeBooks    


Browse more rare books from the year 1937

      Home     Wants Manager     Library Search     562 Years   Links     Contact      Search Help      Terms of Service     

Copyright © 2017 viaLibri™ Limited. All rights reserved.