Introduction to Combinators and (lambda) Calculus
Cambridge University Press
Published on 29. May 1986
Book
Hardback
368 pages
978-0-521-26896-7 (ISBN)
Article exhausted; check for reprint
Description
Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice.
More details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
College/higher education
Dimensions
Height: 228 mm
Width: 152 mm
Weight
650 gr
ISBN-13
978-0-521-26896-7 (9780521268967)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions

Book
07/2008
2nd Edition
Cambridge University Press
€94.10
Shipment within 15-20 days