Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Поисковый запрос:
(<.>K=интуиционистская логика<.>)
Общее количество найденных документов
:
1
1..1
1.
В12
Д72
Драгалин, Альберт Григорьевич
.
Конструктивная теория доказательств и нестандартный анализ [Текст] : нелитературный текст / А. Г.Драгалин. - М. : Едиториал УРСС, 2003. - 544с. -
ISBN
5-354-00388-1 : 60.00 р.
ББК
В12
Рубрики:
логика
математическая
логика
Кл.слова (ненормированные):
нестандартный анализ
--
интуиционистская
логика
--
теория доказательств
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
1..1