|
Доклады Академии наук, 1973, том 212, номер 6, страницы 1290–1292
(Mi dan50529)
|
|
|
|
МАТЕМАТИКА
Система $\lambda$-конверсии с дедуктивным оператором формальной импликации
А. С. Кузичев Московский государственный университет имени М. В. Ломоносова
Образец цитирования:
А. С. Кузичев, “Система $\lambda$-конверсии с дедуктивным оператором формальной импликации”, Докл. АН СССР, 212:6 (1973), 1290–1292
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan50529 https://www.mathnet.ru/rus/dan/v212/i6/p1290
|
Статистика просмотров: |
Страница аннотации: | 66 | PDF полного текста: | 20 |
|