Математическая логика и основы теории алгоритмов. Радаев В.Н.