![286Turing (Alan Mathison) Computability and λ-definability [and] ρ-function in λ-Κ-conversion, 1937.](https://am-s3-bucket-assets.s3.eu-west-2.amazonaws.com/forum/prod/lot_images/xlarge/9f35ccca-9a90-ee11-b864-d4548b6f1f2f/3c653caf-4391-ee11-817a-6045bdcfd69d.webp "286Turing (Alan Mathison) Computability and λ-definability [and] ρ-function in λ-Κ-conversion, 1937.")
Lot 286
Turing (Alan Mathison) Computability and λ-definability [and] ρ-function in λ-Κ-conversion, 1937.
Estimate: £1,200 - 1,800
Description
Turing (Alan Mathison) Computability and ?-definability [and] ?-function in ?-?-conversion, in The Journal of Symbolic Logic, vol.2, no.4, December, 1937, original printed wrappers bound in at end, library stamps, later library buckram; and 5 others, by or with contributions by Turing, including, vol.7, 13 and 14 of the same journal, with articles by Turin and / or reviews of his work, all uniformly bound with original printed wrappers bound in at end, 4to (6)
⁂ Includes The use of dots as brackets in Church's system, December, 1942 and Practical forms of type theory, June, 1948.
Description
Turing (Alan Mathison) Computability and ?-definability [and] ?-function in ?-?-conversion, in The Journal of Symbolic Logic, vol.2, no.4, December, 1937, original printed wrappers bound in at end, library stamps, later library buckram; and 5 others, by or with contributions by Turing, including, vol.7, 13 and 14 of the same journal, with articles by Turin and / or reviews of his work, all uniformly bound with original printed wrappers bound in at end, 4to (6)
⁂ Includes The use of dots as brackets in Church's system, December, 1942 and Practical forms of type theory, June, 1948.
Related Lots
Back To Auction Catalogue
Newsletter Signup
Keyword Alerts
You can now save your preferences to receive emails, or create a free lite account which gives you more features.
Would you like to receive personalised keyword alerts when new catalogues go live. If so, please indicate these below
Set a password to save your keyword alerts
Passwords are a minimum of 7 characters and must include an upper case letter, a lower case letter, a number and a special character.
Newsletter