|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
On Kolmogorov’s reduction of the set of all derivations of a theory to propositional logicтезисы доклада
- Автор: Кузичев А.С.
- Сборник: Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2003
- Место издания: ИФРАН Москва
- Первая страница: 80
- Последняя страница: 81
- Добавил в систему: Кузичев Александр Сергеевич