Найденные документы этого автора

Справочная книга по математической логике: в 4-х ч., Ч. 4. Теория доказательств и конструктивная математика

Справочная книга по математической логике: в 4-х ч., Ч. 4. Теория доказательств и конструктивная математика [печатное издание] / Г. В. Давыдов, Переводчик; В. П. Оревков, Редактор; Г. Е. Минц, Переводчик . - Москва (Россия) : Наука, 1983 . - 391 с. 2-10 Языки : рус. (rus) Языки оригинала : англ. (eng)   Рубрики : Математика Ключевые слова : математика  логика  справочник Десятичная классификация : 22.1

Бронирование

Забронировать этот документ

Экземпляры

Штрих-код	Полочный индекс	Носитель	Место хранения	Секция	Статус экземпляра
16650	22.1 С74	Книга	ЦБ	2. естествознание (2,5)	В наличии