3 ms·On the Unusual Effectiveness of Logic in Computer Science (2001) [pdf]2 points by alokrai 5y ago