Math, logic, and computer science

This is a compilation of articles, web pages, and projects on matters related to math, logic, and/or computer science.