viaLibri Requires Cookies CLICK HERE TO HIDE THIS NOTICE

Recently found by viaLibri....

COMPUTABILITY AND LAMDA-DEFINABILITY [together with] THE p-FUNCTION IN LAMDA-KAPPA-CONVERSION
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    

LINK TO THIS PAGE: www.vialibri.net/years/items/1275169/1937-turing-a-m-alan-mathison-turing-computability-and-lamda-definability-together-with

Browse more rare books from the year 1937


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


Copyright © 2017 viaLibri™ Limited. All rights reserved.