A timeline of logic and foundations of mathematics