|
Записки научных семинаров ЛОМИ, 1967, том 4, страницы 58–64
(Mi znsl2208)
|
|
|
|
Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами
В. А. Лифшиц
Образец цитирования:
В. А. Лифшиц, “Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами”, Исследования по конструктивной математике и математической логике. I, Зап. научн. сем. ЛОМИ, 4, М., 1967, 58–64
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2208 https://www.mathnet.ru/rus/znsl/v4/p58
|
Статистика просмотров: |
Страница аннотации: | 312 | PDF полного текста: | 103 |
|