Combinators, ¿-Terms and Proof Theory

Autori

• S. Stenlund

Parametri

• Altri libri di testo
• Filosofia
• Libri di testo

Maggiori informazioni sul libro

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.

Per saperne di più

Lingua: Inglese

Pubblicato: 1972

(Copertina rigida)