The Combinatory Programme
Erwin Engeler · Birkhäuser Boston eBooks · 1995
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small vol