|
Доклады Академии наук, 1966, том 171, номер 6, страницы 1282–1285
(Mi dan32770)
|
|
|
|
МАТЕМАТИКА
Применение обратного метода установления выводимости к теории разрешимых фрагментов классического исчисления предикатов
С. Ю. Маслов Ленинградское отделение Математического института им. В. А. Стеклова АН СССР
Образец цитирования:
С. Ю. Маслов, “Применение обратного метода установления выводимости к теории разрешимых фрагментов классического исчисления предикатов”, Докл. АН СССР, 171:6 (1966), 1282–1285
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan32770 https://www.mathnet.ru/rus/dan/v171/i6/p1282
|
Статистика просмотров: |
Страница аннотации: | 107 | PDF полного текста: | 42 |
|