|
Записки научных семинаров ЛОМИ, 1968, том 8, страницы 182–188
(Mi znsl2261)
|
|
|
|
Дизъюнктивная интерпретация исчисления $LJ$
Г. Е. Минц
Образец цитирования:
Г. Е. Минц, “Дизъюнктивная интерпретация исчисления $LJ$”, Исследования по конструктивной математике и математической логике. II, Зап. научн. сем. ЛОМИ, 8, Изд-во «Наука», Ленинград. отд., Л., 1968, 182–188
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2261 https://www.mathnet.ru/rus/znsl/v8/p182
|
Статистика просмотров: |
Страница аннотации: | 163 | PDF полного текста: | 64 |
|