Title: Studies in illative combinatory logic
Subjects: Combinatory logic, Logic, Symbolic and mathematical, Symbolic and mathematical Logic