Curry Haskell B Combinatory logic Curry Haskell B; Hindley J. Roger - Amsterdam North Holland The Netherlands 1972 - 520p. cm. - Studies in logic and the foundations of mathematics ed by Heyting . Standard No.: 65,142 Source: Textual Dewey Class. No.: R14, L2.2