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