A timeline of logic and foundations of mathematics - View it on GitHub