📖 Математическая логика и теория алгоритмов: Учебник А.В. Пруцков, Л.Л. Волкова. - (Бакалавриат)., (Гриф)