Математическая логика и теория алгоритмов. Усенко О.А.