%0 Book %1 citeulike:14245126 %A Curry, Haskell B. %D 1966 %K 03b22-abstract-deductive-systems, 18a15-category-theory-foundations-relations-to-logic-and-deductive-systems %T A Theory of Formal Deducibility %U http://www.worldcat.org/isbn/0268002746 %@ 0268002746

@book{citeulike:14245126, added-at = {2017-06-29T07:13:07.000+0200}, author = {Curry, Haskell B.}, biburl = {https://www.bibsonomy.org/bibtex/221f1078fc2d143d0b9ec00632afdc6d2/gdmcbain}, citeulike-article-id = {14245126}, citeulike-linkout-0 = {http://www.worldcat.org/isbn/0268002746}, citeulike-linkout-1 = {http://books.google.com/books?vid=ISBN0268002746}, citeulike-linkout-2 = {http://www.amazon.com/gp/search?keywords=0268002746\&index=books\&linkCode=qs}, citeulike-linkout-3 = {http://www.librarything.com/isbn/0268002746}, citeulike-linkout-4 = {http://www.worldcat.org/oclc/11407276}, interhash = {25fc89196c66da73995d94f0f326cb12}, intrahash = {21f1078fc2d143d0b9ec00632afdc6d2}, isbn = {0268002746}, keywords = {03b22-abstract-deductive-systems, 18a15-category-theory-foundations-relations-to-logic-and-deductive-systems}, posted-at = {2017-01-03 05:18:34}, priority = {2}, timestamp = {2017-06-29T07:13:07.000+0200}, title = {{A Theory of Formal Deducibility}}, url = {http://www.worldcat.org/isbn/0268002746}, year = 1966 }