|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Интуиционистское доказательство совместности тезиса Чёрча с теорией множествтезисы доклада
- Автор: Хаханян Валерий Христофорович
- Сборник: Шестая Всесоюзная конференция по математической логике. Тезисы докладов
- Серия: Всесоюзная конференция по математической логике
- Тезисы
- Год издания: 1982
- Место издания: издательство Тбилисского университета Тбилиси
- Первая страница: 194
- Добавил в систему: Кузичев Александр Сергеевич