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

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

ISBN 10: 0521096979 / ISBN 13: 9780521096973

Published by Cambridge University Press, 1972

About this Item

Type: Book N.B. Small plain label and booksellers label to inside front cover. Mark to front cover. Light rubbing to edges of covers. Slight curl to book.

Seller Inventory # 053984

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: Paperback
• Condition: Good
• Dust Jacket Condition: No d/j as Published
• Weight: 15 ounces
• Seller catalogs:
  • MATHEMATICS

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.