Bookbot

Combinators, ¿-Terms and Proof Theory

Évaluation du livre

3,0(2)Évaluer

En savoir plus sur le livre

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.

Achat du livre

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

Langue
Année de publication
1972
product-detail.submit-box.info.binding
(rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

3,0
Très bien !
2 Évaluations

Il manque plus que ton avis ici.