Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> интуиционистская логика
Печать списка
Доступно
1 из 1
Доступно
1 из 1
--> интуиционистская логика
Рубрика
- Название:
- интуиционистская логика
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Эдиториал УРСС, 2003 г.
ISBN 5-354-00388-1
Драгалин, Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Эдиториал УРСС, 2003 г.
ISBN 5-354-00388-1
Заказать 
На полку Доступно
1 из 1
Книга
Френкель, Абрахам А.
Основания теории множеств
Foundations of Set Theory
URSS, 2006 г.
ISBN 5-484-00494-2
Френкель, Абрахам А.
Основания теории множеств
Foundations of Set Theory
URSS, 2006 г.
ISBN 5-484-00494-2