%0 Book %1 citeulike:229727 %A Doets, Kees %A Eijck, J. Van %D 2004 %I King's College Publications %K 03-04-mathematical-logic-and-foundations-machine-computation-and-programs, haskell 68n18-functional-programming-and-lambda-calculus 03-01-mathematical-logic-and-foundations-instructional-exposition %T The Haskell Road to Logic, Maths and Programming %U http://www.worldcat.org/isbn/0954300696 %@ 0954300696

@book{citeulike:229727, added-at = {2017-06-29T07:13:07.000+0200}, author = {Doets, Kees and Eijck, J. Van}, biburl = {https://www.bibsonomy.org/bibtex/2ce4f4ad6b91d374d9a85a7f1e648b4ad/gdmcbain}, citeulike-article-id = {229727}, citeulike-attachment-1 = {doets_04_haskell_1035284.pdf; /pdf/user/gdmcbain/article/229727/1035284/doets_04_haskell_1035284.pdf; 503db4dd80c93b1a3f96204cb4bd697a4df16336}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/0954300696}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21\&path=ASIN/0954300696}, citeulike-linkout-10 = {http://www.worldcat.org/oclc/57230131}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21\&path=ASIN/0954300696}, citeulike-linkout-3 = {http://www.amazon.jp/exec/obidos/ASIN/0954300696}, citeulike-linkout-4 = {http://www.amazon.co.uk/exec/obidos/ASIN/0954300696/citeulike00-21}, citeulike-linkout-5 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20\&path=ASIN/0954300696}, citeulike-linkout-6 = {http://www.worldcat.org/isbn/0954300696}, citeulike-linkout-7 = {http://books.google.com/books?vid=ISBN0954300696}, citeulike-linkout-8 = {http://www.amazon.com/gp/search?keywords=0954300696\&index=books\&linkCode=qs}, citeulike-linkout-9 = {http://www.librarything.com/isbn/0954300696}, comment = {Cites at Wikip\'{e}dia Recursion}, day = 07, file = {doets_04_haskell_1035284.pdf}, howpublished = {Paperback}, interhash = {d01fbb21bb6f2131f43ba91b5dc4afc3}, intrahash = {ce4f4ad6b91d374d9a85a7f1e648b4ad}, isbn = {0954300696}, keywords = {03-04-mathematical-logic-and-foundations-machine-computation-and-programs, haskell 68n18-functional-programming-and-lambda-calculus 03-01-mathematical-logic-and-foundations-instructional-exposition}, month = may, posted-at = {2015-09-18 05:29:49}, priority = {2}, publisher = {King's College Publications}, timestamp = {2019-05-27T03:20:07.000+0200}, title = {The {H}askell Road to Logic, Maths and Programming}, url = {http://www.worldcat.org/isbn/0954300696}, year = 2004 }