Introduction to Combinatory Logic (London Mathematical Society Lecture Note Series)

Hindley, J. R.; Lercher, B.; Seldin, J. P.

ISBN 10: 0521096979 / ISBN 13: 9780521096973

Published by Cambridge University Press, 1972

About this Item

Not ex-library, but a few pages have several markings and notes from the previous owner. Moderate shelf wear to outer covers along the edges and a crease on the lower left back cover. Blemish on first and title page.

Seller Inventory # ABE-1711371123546

Bibliographic Details

• Title: Introduction to Combinatory Logic (London Mathematical Society Lecture Note Series)
• Publisher: Cambridge University Press
• Publication Date: 1972
• Language: English
• ISBN 10: 0521096979
• ISBN 13: 9780521096973
• Binding: Soft cover
• Edition: 1st Edition
• Condition: Very Good
• Seller catalogs:
  • Philosophy-Theory

About this title

Synopsis

From the Combinatory logic deals with a class of formal systems designed for studying certain primitive ways in which functions can be combined to form other functions. These notes present some of the basic techniques and results in the subject, as well as two or three more special topics. There is no attempt to be comprehensive, but merely to give the flavour of the subject. Most long proofs will be omitted, and replaced by references to the published literature. The reader is assumed to have no previous knowledge of combinatory logic, but to have some experience of predicate calculus and recursive functions. (...) Simple exercises have been added to the earlier chapters to give manipulative practice. Suitable references for further study are listed in the bibliography.