Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
------> интуиционизм
Печать списка
Доступно
3 из 6
Доступно
2 из 2
Доступно
3 из 3
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
Доступно
2 из 3
--> математика
----> математическая логика
------> интуиционизм
Рубрика
- Название:
- интуиционизм
- См. также:
- 22.122
Печать списка
Связанные описания:
Доступно
3 из 6
Заказать 
На полку Доступно
2 из 2
Книга
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ: [Сб.]
УРСС, 2003 г.
ISBN 5-354-00387-3
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ: [Сб.]
УРСС, 2003 г.
ISBN 5-354-00387-3
Доступно
3 из 3
Экз. чит. зала
Книга
Математическая логика и алгебра: Сб. ст.
Наука, МАИК Наука/Интерпериодика, 2003 г.
ISBN 5-02-032604-6
Математическая логика и алгебра: Сб. ст.
Наука, МАИК Наука/Интерпериодика, 2003 г.
ISBN 5-02-032604-6
Доступно
1 из 1
Экз. чит. зала
Доступно
2 из 3
Книга
Клини, Стивен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Наука, 1978 г.
ISBN отсутствует
Клини, Стивен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Наука, 1978 г.
ISBN отсутствует