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

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

Softcover

ISBN 10: 0521096979 ISBN 13: 9780521096973

Publisher: Cambridge University Press, 1972

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.

Edition details

• Publisher: Cambridge University Press
• Publication date: 1972
• Language: English
• ISBN 10: 0521096979
• ISBN 13: 9780521096973
• Binding: Paperback
• Edition number: 1
• Number of pages: 170