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