Combinatory logic

Perhaps the most important development emerging from mathematics in the last century is the advent of computers. One important topic that laid the foundations f