%0 Book %1 citeulike:13555916 %A Cameron, Peter J. %D 1999 %I Springer %K 18-01-category-theory-introductory-exposition 03-01-mathematical-logic-and-foundations-instructional-exposition %R 10.1007/978-1-4471-0589-3 %T Sets, Logic, and Categories %U http://dx.doi.org/10.1007/978-1-4471-0589-3 %X Sets, the toolbox for making mathematical models, logic, which tests conclusions, and category theory, the study of functions which preserve some structure on a set together provide the basis for computational science. This self-study guide to all three theories contains many examples. %@ 1852330562

@book{citeulike:13555916, abstract = {{Sets, the toolbox for making mathematical models, logic, which tests conclusions, and category theory, the study of functions which preserve some structure on a set together provide the basis for computational science. This self-study guide to all three theories contains many examples.}}, added-at = {2017-06-29T07:13:07.000+0200}, author = {Cameron, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2d077c594a0ade9464292c5fa1b59ec3a/gdmcbain}, citeulike-article-id = {13555916}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-1-4471-0589-3}, citeulike-linkout-1 = {http://www.worldcat.org/isbn/1852330562}, citeulike-linkout-2 = {http://books.google.com/books?vid=ISBN1852330562}, citeulike-linkout-3 = {http://www.amazon.com/gp/search?keywords=1852330562\&index=books\&linkCode=qs}, citeulike-linkout-4 = {http://www.librarything.com/isbn/1852330562}, citeulike-linkout-5 = {http://www.worldcat.org/oclc/39455919}, doi = {10.1007/978-1-4471-0589-3}, interhash = {63590874c949ce8bd309cbc67db71b8e}, intrahash = {d077c594a0ade9464292c5fa1b59ec3a}, isbn = {1852330562}, keywords = {18-01-category-theory-introductory-exposition 03-01-mathematical-logic-and-foundations-instructional-exposition}, posted-at = {2015-03-19 22:22:58}, priority = {2}, publisher = {Springer}, timestamp = {2019-05-27T03:20:07.000+0200}, title = {{Sets, Logic, and Categories}}, url = {http://dx.doi.org/10.1007/978-1-4471-0589-3}, year = 1999 }