|
Математические заметки, 1976, том 19, выпуск 1, страницы 149–154
(Mi mzm7733)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Некоторые модели комбинаторной логики
Д. Скордев Софийский университет
Аннотация:
Указываются некоторые модели слабой теории комбинаторов. Эти модели состоят из частичных функций натурального аргумента, принимающих натуральные значения. Роль операции приложения исполняют некоторые $\mu$-рекурсивные операторы. Библ. 3 назв.
Поступило: 03.06.1974
Образец цитирования:
Д. Скордев, “Некоторые модели комбинаторной логики”, Матем. заметки, 19:1 (1976), 149–154; Math. Notes, 19:1 (1976), 88–90
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm7733 https://www.mathnet.ru/rus/mzm/v19/i1/p149
|
|