Combinators, λ-Terms and Proof Theory

by Sören Stenlund

Book Overview

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.... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 9401029156
• ISBN13: 9789401029155
• Release Date: October 2011
• Publisher: Springer
• Length: 177 Pages
• Weight: 0.61 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"