Алгоритмы дискретной математики КунаковскаяОВ

Учебный курс содержит основные разделы математической логики и теории множеств.