База данных: Электронный Каталог
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
Теория доказательств и конструктивная математика = В 4-х частях : пер. с англ. Ч. 4 / Под ред. Дж.Барвайса. - М. : Наука, 1983. - 392 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Теория моделей -- Теория множеств -- теория рекурсии
Теория доказательств и конструктивная математика = В 4-х частях : пер. с англ. Ч. 4 / Под ред. Дж.Барвайса. - М. : Наука, 1983. - 392 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Теория моделей -- Теория множеств -- теория рекурсии
Страница 1, Результатов: 1