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