|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Новое доказательство теоремы о семантической непротиворечивости системы натурального выводатезисы доклада
- Автор: Шангин В.О.
- Сборник: Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции, 24-26 июня 2004 г
- Серия: Современная логика
- Тезисы
- Год издания: 2004
- Место издания: СПбГУ Санкт-Петербург
- Первая страница: 547
- Последняя страница: 549
- Добавил в систему: Маркин Владимир Ильич