.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Combinators, Lambda-Terms and Proof Theory
S. Stenlund
€ 126.76
FREE Delivery in Ireland
Description for Combinators, Lambda-Terms and Proof Theory
paperback. Series: Synthese Library. Num Pages: 177 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 302.
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory Logic. It appears here in revised form since the presen tation in my notes is inaccurate in several respects. I would like to express my gratitude to Stig Kanger for his invalu able advice and encouragement and also for his assistance in a wide variety ... Read more
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory Logic. It appears here in revised form since the presen tation in my notes is inaccurate in several respects. I would like to express my gratitude to Stig Kanger for his invalu able advice and encouragement and also for his assistance in a wide variety ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer Netherlands
Number of pages
177
Condition
New
Series
Synthese Library
Number of Pages
177
Place of Publication
Dordrecht, Netherlands
ISBN
9789401029155
SKU
V9789401029155
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Combinators, Lambda-Terms and Proof Theory