Курс математической логики, КТ, весна 2018 Материалы Конспект Теоретические домашние задания <тут ещё полезные ссылки на разные книжки, видимо> Лекция 1 Разбор домашнего задания №1 Было рассмотрено Общезначимость в заданной модели Доказуемость в заданном наборе аксиом Теорема о дедукции Где почитать Главы 2-4 из конспекта