Media type: Book Title: Combinatory logic / Haskell B. Curry 1 Contributor: Craig, William [Other] Published: Amsterdam: North-Holland Publ., 1958 Published in: Combinatory logic / Haskell B. Curry ... ; 1 Extent: XVI, 417 S. Language: English RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Origination: Footnote: