|
Доклады Академии наук, 1962, том 147, номер 5, страницы 1029–1031
(Mi dan27334)
|
|
|
|
МАТЕМАТИКА
Два варианта классического исчисления предикатов без структурных правил вывода
В. А. Матулис Ленинградское отделение Математического института им. В. А. Стеклова АН СССР
Образец цитирования:
В. А. Матулис, “Два варианта классического исчисления предикатов без структурных правил вывода”, Докл. АН СССР, 147:5 (1962), 1029–1031
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan27334 https://www.mathnet.ru/rus/dan/v147/i5/p1029
|
Статистика просмотров: |
Страница аннотации: | 108 | PDF полного текста: | 53 |
|