Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
------> конструктивная математика
Печать списка
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
2 из 2
Доступно
3 из 3
--> математика
----> математическая логика
------> конструктивная математика
Рубрика
- Название:
- конструктивная математика
- См. также:
- 22.122
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
9. : Исследования по конструктивной математике и математической логике: Сб. работ
Наука, 1995 г.
ISBN 5-02-024811-8
9. : Исследования по конструктивной математике и математической логике: Сб. работ
Наука, 1995 г.
ISBN 5-02-024811-8
Заказать 
На полку
Электронный ресурс (аналит. описание)
Когабаев, Нурлан Талгатович
Π1/1-полнота проблемы вычислимой категоричности проективных плоскостей
б.г.
ISBN отсутствует
Когабаев, Нурлан Талгатович
Π1/1-полнота проблемы вычислимой категоричности проективных плоскостей
б.г.
ISBN отсутствует
Экз. чит. зала
Электронный ресурс
Атанасян, Сергей Левонович
Задачник-практикум по конструктивной геометрии: учебное пособие для студентов-заочников 2-3 курсов физико-математических факультетов педагогических институтов
МГЗПИ, 1983 г.
ISBN отсутствует
Атанасян, Сергей Левонович
Задачник-практикум по конструктивной геометрии: учебное пособие для студентов-заочников 2-3 курсов физико-математических факультетов педагогических институтов
МГЗПИ, 1983 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Книга
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ: [Сб.]
УРСС, 2003 г.
ISBN 5-354-00387-3
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ: [Сб.]
УРСС, 2003 г.
ISBN 5-354-00387-3
Доступно
3 из 3
Книга
Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика: В 4 ч.
Наука, 1983 г.
ISBN отсутствует
Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика: В 4 ч.
Наука, 1983 г.
ISBN отсутствует