Математическая логика и теория алгоритмов. Учебник • Пруцков А. и др ...