Издательство ВлГУ, 24 стр. , 2003 г. ISBN 5-89368-423-0.Приведено компактное множество задач по основам курса "Математическая логика и теория алгоритмов". Задачник предназначен и для активного изучения других дисциплин, связанных с математической логикой и программированием. Во второй части издания даны ответы и указания к решениям задач, а так же полные решения задач из раздела "Формальные системы и логический вывод". Структура и содержание согласуются с требованиями заочной и дистанционной форм обучения.
Для специальностей 071900, 220100, 071800, 210200, 210300, а также для студентов и аспирантов других специальностей, связанных с изучением дискретной математики.
