|
Записки научных семинаров ЛОМИ, 1969, том 16, страницы 152–156
(Mi znsl2347)
|
|
|
|
О неудлиняющих применениях правил для равенства
В. П. Оревков
Образец цитирования:
В. П. Оревков, “О неудлиняющих применениях правил для равенства”, Исследования по конструктивной математике и математической логике. III, Зап. научн. сем. ЛОМИ, 16, Изд-во «Наука», Ленинград. отд., Л., 1969, 152–156
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2347 https://www.mathnet.ru/rus/znsl/v16/p152
|
Статистика просмотров: |
Страница аннотации: | 118 | PDF полного текста: | 52 |
|