|
Записки научных семинаров ЛОМИ, 1968, том 8, страницы 211–224
(Mi znsl2266)
|
|
|
|
Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций
Р. А. Плюшкевичус
Образец цитирования:
Р. А. Плюшкевичус, “Кангеровский вариант исчисления предикатов с символами для не всюду определенных функций”, Исследования по конструктивной математике и математической логике. II, Зап. научн. сем. ЛОМИ, 8, Изд-во «Наука», Ленинград. отд., Л., 1968, 211–224
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2266 https://www.mathnet.ru/rus/znsl/v8/p211
|
|