|
Доклады Академии наук, 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
|
|