Stock image for illustration purposes only - book cover, edition or condition may vary.
Combinators, Lambda-Terms and Proof Theory
Soren Stenlund
€ 122.43
FREE Delivery in Ireland
Description for Combinators, Lambda-Terms and Proof Theory
Hardback. Series: Synthese Library. Num Pages: 177 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 449.
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
Hardback
Publication date
1972
Publisher
Springer Netherlands
Number of pages
177
Condition
New
Series
Synthese Library
Number of Pages
177
Place of Publication
Dordrecht, Netherlands
ISBN
9789027703057
SKU
V9789027703057
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Combinators, Lambda-Terms and Proof Theory