Логика Что считается доказательством и что вообще можно доказать. Граница между математикой и философией 6 курсов, 534 записи лекций, около 84 часа. Курсы в порядке изучения Введение в логику Математическая логика Теория вычислений Теория вычислимости Теория множеств Теория моделей Карта знаний