[PDF.17kn] Combinators, Lambda-Terms and Proof Theory (Synthese Library)

Combinators, Lambda-Terms and Proof Theory (Synthese Library)

[PDF.np63] Combinators, Lambda-Terms and Proof Theory (Synthese Library)

Combinators, Lambda-Terms and Proof  Soren Stenlund epub
Combinators, Lambda-Terms and Proof  Soren Stenlund pdf download
Combinators, Lambda-Terms and Proof  Soren Stenlund pdf file
Combinators, Lambda-Terms and Proof  Soren Stenlund audiobook
Combinators, Lambda-Terms and Proof  Soren Stenlund book review
Combinators, Lambda-Terms and Proof  Soren Stenlund summary

 | #4333052 in Books |  D Reidel |  1972-09-30 | Original language:English | PDF # 1 |  9.21 x.56 x6.14l,.99 | File type: PDF | 184 pages

 | 

---

|

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 i...

You can specify the type of files you want, for your gadget.Combinators, Lambda-Terms and Proof Theory (Synthese Library)   |  Soren Stenlund. A good, fresh read, highly recommended.

Download Now