|
Записки научных семинаров ЛОМИ, 1972, том 32, страницы 59–65
(Mi znsl2565)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О поиске вывода в исчислениях общего типа
С. Ю. Маслов
Образец цитирования:
С. Ю. Маслов, “О поиске вывода в исчислениях общего типа”, Исследования по конструктивной математике и математической логике. V, Зап. научн. сем. ЛОМИ, 32, Изд-во «Наука», Ленинград. отд., Л., 1972, 59–65; J. of Sov. Math., 6:4 (1976), 395–400
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2565 https://www.mathnet.ru/rus/znsl/v32/p59
|
Статистика просмотров: |
Страница аннотации: | 141 | PDF полного текста: | 68 |
|