Combinators, ¿-Terms and Proof Theory

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.