Поиск книг, содержащих: Принадлежать к примитивно-рекурсивно замкнутому классу функций (о множестве, о предикате)