Combinators, ¿-Terms and Proof Theory

Autor*innen

• S. Stenlund

Parameter

• Lehrbücher
• Philosophie
• Sonstige Lehrbücher

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.

• Sprache: Englisch
• Erscheinungsdatum: 1972
• Einband: Hardcover