%0 Book %A Curry, Haskell Brooks %T A theory of formal deducibility %U /book/72111545/A-theory-of-formal-deducibility/