Справочная книга по математической логике: теория доказательств и конструктивная математика ред. Дж. Барвайс
Вид матеріалу:
Текст Мова: російська Публікація: Москва Главная редакция физико-математической литературы 1983Опис: 392 сТематика(и):
Книги
| Поточна бібліотека | Шифр зберігання | Стан | Штрих-код | |
|---|---|---|---|---|
| ЧЗ - Читальна зала | 510.6(035) С74 | Доступно | 68895 |
Немає коментарів для цієї одиниці.
Увійти в обліковий запис для можливості публікувати коментарі.