Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory logic covers results in the field from the last four decades along with...