Математическая логика и теория алгоритмов. Галуев Г.А.