|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Алгоритм доказательства непротиворечивостистатья
- Автор: Кузичев А.С.
- Сборник: Мы – математики с Ленинских гор. Часть 3
- Год издания: 2007
- Место издания: Книжник Москва
- Первая страница: 191
- Последняя страница: 195
- Добавил в систему: Кузичев Александр Сергеевич