Combinatory logic - Curry, Haskell B. 1900- (Haskell Brooks) (North-Holland, 1958)
τ. 1. - xvi, 417 σ. - 1958 – τ. 2. - xiv, 520 σ. - 1972.