"Logic has turned out to be significiantly more effective in computer science than it has been in mathematics." http://www.cs.rice.edu/~vardi/papers/aaas99.jsl.pdf …
7:16 AM - 21 Sep 2016
0 replies
48 retweets
104 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.