Combinatory logic

Haskell B. Curry and Robert Feys. With two sections by William Craig
North-Holland Pub. Co.
9780720422085
0-7204-2208-6