Gratis Versand in ganz Österreich
Bookbot
Das Buch ist derzeit nicht auf Lager

Combinators, ¿-Terms and Proof Theory

Autor*innen

Buchbewertung

3,0(2)Abgeben

Parameter

Mehr zum Buch

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.

Buchkauf

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

Sprache
Erscheinungsdatum
1972
product-detail.submit-box.info.binding
(Hardcover)
Wir benachrichtigen dich per E-Mail.

Lieferung

  • Gratis Versand in ganz Österreich

Zahlungsmethoden

3,0
Gut
2 Bewertung
Abgeben

Hier könnte deine Bewertung stehen.