"Математика: математическая логика и теория алгоритмов 5-е изд. Учебник ...