[s3 | 2025] Математическая логика, Д.Г. Штукенберг, лекция 9

Записи лекций по курсу «Математическая логика», который читается для студентов программы «Прикладная математика и информатика» факультета ИТиП университета ИТМО в третьем семестре. Лектор: Д.Г. Штукенберг https://www.youtube.com/playlist?list=PLd7QXkfmSY7YdrB_6P9CrQlLn7J-sggI7