Математична логіка та теорія алгоритмів

Карпович І. М., канд. ф.-матем. н., доцент.
ІІ семестр
Для студентів ІСТ-11, ІСТ-11інт., ЦТ-11, ЦТз-21.