On the Unusual Effectiveness of Logic in Computer Science Export

@misc{citeulike:3361734, abstract = {Effectiveness of Mathematics in the Natural Sciences [Wig60]. This paper can be construed as an examination and affirmation of Galileo's tenet that ” The book of nature is written in the language of mathematics”.}, author = {Halpern, Joseph Y. and Harper, Robert and Immerman, Neil and Kolaitis, Phokion G.}, citeulike-article-id = {3361734}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.264}, keywords = {computer-science, formal-logic, have-paper-copy, not-related-to-engd}, posted-at = {2008-10-01 12:05:01}, priority = {4}, title = {On the Unusual Effectiveness of Logic in Computer Science}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.264}, year = {2001} }

TY - ELEC ID - citeulike:3361734 L3 - citeulike-article-id:3361734 N2 - Effectiveness of Mathematics in the Natural Sciences [Wig60]. This paper can be construed as an examination and affirmation of Galileo’s tenet that “The book of nature is written in the language of mathematics”. TI - On the Unusual Effectiveness of Logic in Computer Science KW - computer-science KW - formal-logic KW - have-paper-copy KW - not-related-to-engd AU - Halpern, Joseph AU - Harper, Robert AU - Immerman, Neil AU - Kolaitis, Phokion PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.264 ER -