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