|
Записки научных семинаров ЛОМИ, 1972, том 32, страницы 90–97
(Mi znsl2569)
|
|
|
|
Теорема об устранимости сечения для релевантных логик
Г. Е. Минц
Образец цитирования:
Г. Е. Минц, “Теорема об устранимости сечения для релевантных логик”, Исследования по конструктивной математике и математической логике. V, Зап. научн. сем. ЛОМИ, 32, Изд-во «Наука», Ленинград. отд., Л., 1972, 90–97
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2569 https://www.mathnet.ru/rus/znsl/v32/p90
|
Статистика просмотров: |
Страница аннотации: | 296 | PDF полного текста: | 168 |
|