|
Записки научных семинаров ЛОМИ, 1969, том 16, страницы 175–184
(Mi znsl2350)
|
|
|
|
Устранение правил типа сечения в аксиоматических теориях с равенством
А. Ю. Плюшкевичене
Образец цитирования:
А. Ю. Плюшкевичене, “Устранение правил типа сечения в аксиоматических теориях с равенством”, Исследования по конструктивной математике и математической логике. III, Зап. научн. сем. ЛОМИ, 16, Изд-во «Наука», Ленинград. отд., Л., 1969, 175–184
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2350 https://www.mathnet.ru/rus/znsl/v16/p175
|
Статистика просмотров: |
Страница аннотации: | 121 | PDF полного текста: | 36 |
|