|
Записки научных семинаров ЛОМИ, 1971, том 20, страницы 208–219
(Mi znsl2410)
|
|
|
|
О некотором ослаблении интуиционистской логики
Ю. Н. Толстова
Образец цитирования:
Ю. Н. Толстова, “О некотором ослаблении интуиционистской логики”, Исследования по конструктивной математике и математической логике. IV, Зап. научн. сем. ЛОМИ, 20, Изд-во «Наука», Ленинград. отд., Л., 1971, 208–219
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2410 https://www.mathnet.ru/rus/znsl/v20/p208
|
|