|
Записки научных семинаров ЛОМИ, 1971, том 20, страницы 186–199
(Mi znsl2408)
|
|
|
|
Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера
А. Ю. Плюшкевичене
Образец цитирования:
А. Ю. Плюшкевичене, “Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера”, Исследования по конструктивной математике и математической логике. IV, Зап. научн. сем. ЛОМИ, 20, Изд-во «Наука», Ленинград. отд., Л., 1971, 186–199
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2408 https://www.mathnet.ru/rus/znsl/v20/p186
|
Статистика просмотров: |
Страница аннотации: | 114 | PDF полного текста: | 35 |
|