|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Вторая Всесоюзная конференция по математической логике. Тезисы докладовсборник
- Год издания: 1972
- Серия: Всесоюзная конференция по математической логике
- Место издания: Москва: Отделение математики АН СССР
- Сборник тезисов
- Добавил в систему: Кузичев Александр Сергеевич
Статьи, опубликованные в сборнике
-
- 1972 Об иерархии конструктивных функционалов Брауэра
- Шанин Н.А.
- в сборнике Вторая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Москва: Отделение математики АН СССР, тезисы, с. 52-53
-
- 1972 Предикативная и конструктивная истинность в наивном анализе
- Непейвода Н.Н.
- в сборнике Вторая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Москва: Отделение математики АН СССР, тезисы, с. 35
-
- 1972 Принцип дедуктивной полноты в комбинаторной логике
- Кузичев А.С.
- в сборнике Вторая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Москва: Отделение математики АН СССР, тезисы, с. 24
-
- 1972 Разрешимость некоторых суперинтуиционистских исчислений
- Кузнецов Александр Владимирович
- в сборнике Вторая Всесоюзная конференция по математической логике. Тезисы докладов, серия Всесоюзная конференция по математической логике, место издания Москва: Отделение математики АН СССР, тезисы, с. 25