Кузнецов С. Л. - Математическая логика - 1. Примитивно-рекурсивные функции

Смотрите также