Combinatory logic
Curry, Haskell B.(Haskell Brooks)
Amsterdam London North-Holland Publishing Co.,
1972
In 2 vols
Bibliographyp.499-504. - Includes index
Combinatory logic.