===Курс=Конспекты лекций Штукенберга по мат. логике ==
Странная нумерация... {{TODO| t=отследить соответствие частей лекций и вопросов к экзамену}} # [[Лекция 2]] (Вопросы 1 2) # [[Лекция 3]] (Вопросы 3 4) # [[Лекция 4]] (Вопросы 5 6) # [[Лекция 5]] # [[Лекция 6]] # [[Лекция 7]] # [[Геделева нумерация. Арифметизация доказательств]] (Вопросы 14) # [[1я и 2я теоремы Геделя о неполноте арифметики]] (Вопросы 15 16) # [[Теория множеств]] (Вопросы 17 18 19)
===Экзамен===
[[Решение задач по логике]]
===Экзамен===
[[Вопросы к экзамену по математической логике за 3 семестр]]