Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
ПРАВИЛА КОРИСТУВАННЯ ЕК
Пошук
Відібрані
Формуляр
Опис документа
Сайт бібліотеки
Сайт ВНТУ
Українська
Русский
English
Авторизація
Шифр читача:
Пароль:
Увійти
Відмінити
ERROR
517
Д 72
Драгалин, А. Г.
Математический интуиционизм
[Текст] : Введение в теорию доказательств / А. Г. Драгалин. – М. : Наука, 1979. – 256 с. – (Мат. логика и основания математики). – 6700.
УДК 517.11
Замовити
Додати до списку
Примірники
Місце збереження
Кількість
В наявностi
703 - абон. наук. літ.
2
2
Теми документа
Ключові слова/И/интуиционизм математический
Ключові слова/Т/теория доказательств
Статистика використання: Видач: 0
Інформаційно-пошукова система
'УФД/Бібліотека'