Самохин А.В. Математическая логика и теория алгоритмов

Москва: МГТУ ГА, 2003. - 237 с. В пособии доступно для студентов технического вуза изложен сложный абстрактный материал в сочетании с содержательными примерами и программами на языке C. В основном тексте содержится более двухсот задач теоретической направленности; ещё около 480 задач содержится в последнем разделе, предназначенном для практических занятий, домашних заданий и контрольных работ.