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

Название материалаАвторГод издания
Презентационные материалы
Презентация2013
Презентационный материал2008
Раздаточные материалы
Задания контрольной по исчислению предикатовПервухин Михаил Александрович