|
Доклады Академии наук, 1958, том 120, номер 6, страницы 1210–1213
(Mi dan23188)
|
|
|
|
МАТЕМАТИКА
Новый метод доказательства теорем неполноты для систем с правилом Карнапа и его приложение к вопросу
взаимоотношения классического и конструктивного анализов
Б. Я. Фалевич Рыбинский вечерний авиационный технологический институт
Образец цитирования:
Б. Я. Фалевич, “Новый метод доказательства теорем неполноты для систем с правилом Карнапа и его приложение к вопросу
взаимоотношения классического и конструктивного анализов”, Докл. АН СССР, 120:6 (1958), 1210–1213
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dan23188 https://www.mathnet.ru/rus/dan/v120/i6/p1210
|
Статистика просмотров: |
Страница аннотации: | 112 | PDF полного текста: | 63 |
|