|
Доклады Академии наук, 1966, том 168, номер 3, страницы 510–511
(Mi dan32298)
|
|
|
|
МАТЕМАТИКА
Проблема разрешения для узкого исчисления предикатов
Ю. Ш. Гуревич Красноярский государственный педагогический институт
Образец цитирования:
Ю. Ш. Гуревич, “Проблема разрешения для узкого исчисления предикатов”, Докл. АН СССР, 168:3 (1966), 510–511
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan32298 https://www.mathnet.ru/rus/dan/v168/i3/p510
|
Статистика просмотров: |
Страница аннотации: | 109 | PDF полного текста: | 55 |
|