Explore the latest books of this year!
Bookbot

Combinators, ¿-Terms and Proof Theory

Book rating

3.0(2)Add rating

More about the book

This monograph explores fundamental concepts in pure combinatory logic and their applications to proof theory, including the author's own contributions. It revises earlier notes to correct inaccuracies and acknowledges the support of various scholars. The work reflects ongoing research and collaboration in the field.

Book purchase

Combinators, ¿-Terms and Proof Theory, S. Stenlund

Language
Released
1972
product-detail.submit-box.info.binding
(Hardcover)
We’ll email you as soon as we track it down.

Payment methods

3.0
Okay
2 Ratings

We’re missing your review here.