|
В Московском математическом обществе
Сообщения Московского математического общества
Нормализация выводов и интерполяция для некоторых
логик доказуемости
Л. Д. Беклемишев
Поступила в Правление ММО: 15.06.1986
Образец цитирования:
Л. Д. Беклемишев, “Нормализация выводов и интерполяция для некоторых
логик доказуемости”, УМН, 42:6(258) (1987), 179–180; Russian Math. Surveys, 42:6 (1987), 223–224
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/rm2806 https://www.mathnet.ru/rus/rm/v42/i6/p179
|
|