|
Доклады Академии наук, 1983, том 272, номер 1, страница 10
(Mi dan46267)
|
|
|
|
Поправки к статье "Арифметически непротиворечивые $\lambda$-теории бестиповой логики"
(ДАН, т. 268, № 2, 1983 г.)
А. С. Кузичев
Образец цитирования:
А. С. Кузичев, “Поправки к статье "Арифметически непротиворечивые $\lambda$-теории бестиповой логики"
(ДАН, т. 268, № 2, 1983 г.)”, Докл. АН СССР, 272:1 (1983), 10
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan46267 https://www.mathnet.ru/rus/dan/v272/i1/p10
|
Статистика просмотров: |
Страница аннотации: | 108 | PDF полного текста: | 46 |
|