МАТЕМАТИКА

Новый метод доказательства теорем неполноты для систем с правилом Карнапа и его приложение к вопросу взаимоотношения классического и конструктивного анализов

Б. Я. Фалевич

Рыбинский вечерний авиационный технологический институт

Статья представлена к публикации: П. С. Александров
Поступило: 25.12.1957

Реферативные базы данных:

• 
•