The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and

These notes present some of the basic techniques and results in the subject of combinatory logic. This subject will first be treated with an introduction via la