|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Об одном методе доказательства непротиворечивости аксиоматических теорийтезисы доклада
- Автор: Кузичев А.С.
- Сборник: Семиотические аспекты формализации интеллектуальной деятельности. Всесоюзная школа-семинар “Боржоми-88”. Тезисы докладов и сообщений
- Тезисы
- Год издания: 1988
- Место издания: ВИHИТИ Москва
- Добавил в систему: Кузичев Александр Сергеевич