|
Записки научных семинаров ЛОМИ, 1968, том 8, страницы 166–174
(Mi znsl2259)
|
|
|
|
Свободные от сечения исчисления типа $S5$
Г. Е. Минц
Образец цитирования:
Г. Е. Минц, “Свободные от сечения исчисления типа $S5$”, Исследования по конструктивной математике и математической логике. II, Зап. научн. сем. ЛОМИ, 8, Изд-во «Наука», Ленинград. отд., Л., 1968, 166–174
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2259 https://www.mathnet.ru/rus/znsl/v8/p166
|
|