The book is currently out of stock
More about the book
Focusing on pure combinatory logic, this monograph explores foundational ideas and their implications in proof theory, alongside the author's original contributions. Revised content from previous notes is presented, correcting earlier inaccuracies. The author acknowledges significant influences from scholars such as Stig Kanger, Per Martin-Löf, Dag Prawitz, and W. W. Tait, as well as feedback from Craig McKay. The work reflects a collaborative spirit while underscoring the author's responsibility for any shortcomings.
Book purchase
Combinators, -Terms and Proof Theory, S. Stenlund
- Language
- Released
- 2011
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.