Turing-machine computable functionals of finite types, parts I and II. Offprints

  • Softcover
  • Used
See all details
Heritage seller

Seller: Jeremy Norman's historyofscience, Novato, CA, U.S.A.Jeremy Norman's historyofscience

2-star seller

AbeBooks seller since January 9, 1999

Association member: ABAAILAB

View this seller's items
Softcover

Condition: Used

£ 1,140.27

£ 7.38 shipping 
Ships within U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Kleene, Stephen C. (1909-94). Turing-machine computable functionals of finite types I. Offprint from Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress, ed. E. Nagel, P. Suppes and A. Tarski (Stanford: Stanford University Press, 1962). 38-45pp. 262 x 179 mm. Without wrappers; stapled. Light creasing. With: Turing-machine computable functionals of finite types II. Offprint from Proceedings of the London Mathematical Society, 3rd series, 12 (1962). 245-258pp. 237 x 153 mm. Original printed wrappers. Together 2 items. Very good. First Editions, Offprint Issues. In the 1950s and 60s "Kleene opened the frontiers of computability on higher type objects" (Soare, p. 22); i.e., those greater than type 0 (numbers) and type 1 (n + 1). In the present papers Kleene developed Turing-machine computable functionals of higher types. R. Soare, "Computability and recursion," Bulletin of Symbolic Logic 2 (1996): 284-321. From the library of Martin Davis. .

Seller Inventory # 51660

Bibliographic details

Title
Turing-machine computable functionals of finite types, parts I and II. Offprints
Author
Kleene, Stephen
Publication year
1962
Binding
Soft cover

Jeremy Norman's historyofscience

Novato, CA, U.S.A.

2-star seller

AbeBooks seller since January 9, 1999

Association member:

Shipping rates within U.S.A.

Item5 to 14 business days3 to 6 business days
First item£ 7.38£ 18.45
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Draft
  • Bank Wire Transfer
  • Money Order
  • Paypal

Specialty

Medicine, Science, Technology, Natural History, Autographs, Manuscripts, Appraisals

Association member

  • Antiquarian Booksellers' Association of America
  • International League of Antiquarian Booksellers
Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Jeremy Norman's historyofscience

P. O. Box 867
Novato, CA U.S.A. 94948