Учебные материалы/Лекции Семинары Шпоры/Математическая логика и теория алгоритмов/Определения по МЛиТА — MEPHIST.ru — Портал студентов и выпускников МИФИ
http://www.mephist.ru/Учебные материалы/Лекции Семинары Шпоры/Математическая логика и теория алгоритмов/Определения по МЛиТА