Meer dan een miljoen boeken binnen handbereik!
Bookbot

Combinators, ¿-Terms and Proof Theory

Boekbeoordeling

3,0(2)Tarief

Meer over het boek

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.

Een boek kopen

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

Taal
Jaar van publicatie
1972
product-detail.submit-box.info.binding
(Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

3,0
Oké
2 Beoordelingen

We missen je recensie hier.