Некоторые модели комбинаторной логики

Указываются некоторые модели слабой теории комбинаторов. Эти модели состоят из частичных функций натурального аргумента, принимающих натуральные значения. Роль операции приложения исполняют некоторые $\mu$-рекурсивные операторы. Библ. 3 назв.