Логин (фамилия): Пароль (штрих-код):

Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Драгалин, Альберт Григорьевич$<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
 1..3 
1.
В12
Д72

    Драгалин, Альберт Григорьевич.
    Конструктивная теория доказательств и нестандартный анализ [Текст] : нелитературный текст / А. Г.Драгалин. - М. : Едиториал УРСС, 2003. - 544с. - ISBN 5-354-00388-1 : 60.00 р.
ББК В12
Рубрики: логика
   математическая логика
Кл.слова (ненормированные):
нестандартный анализ -- интуиционистская логика -- теория доказательств

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
2.
В12
Д72

    Драгалин, Альберт Григорьевич.
    Математический интуиционизм [Текст] : введение в теорию доказательств / А. Г.Драгалин. - М. : Наука, 1979. - 256с. - (Математическая логика и основания математики). - 2.00 р.
ББК В12
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- математический интуиционизм -- теория доказательств

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
3.
22.122я73
К 60

    Колмогоров, Андрей Николаевич (1903-1987).
    Математическая логика [] : учеб. пособие для студентов мат. специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Изд. 3-е, стер. - Москва : URSS : КомКнига, 2006. - 238 с. : ил ; 22 см. - (Классический университетский учебник / редсовет: В. А. Садовничий (пред.) и др.). - Библиогр.: с. [115], 228. - Имен. указ.: с. [229]. - Предм. указ.: с. [230]-236. - ISBN 5-484-00520-5 : .139.37 р.
На тит. л. и обл.: Моск. гос. ун-т им. М. В. Ломоносова. 250 лет
ББК 22.122я73
Рубрики: Математическая логика

Держатели документа:
ЯОУНБ

Доп.точки доступа:
Драгалин, Альберт Григорьевич (1941-1998); Минц, Г. Е. \ред.\; Валиев, М. К. \ред.\; Драгалина-Черная, Е. Г. \ред.\; Нагорный, Н. М. \ред.\; Непейвода, Н. Н. \ред.\; Московский государственный университет имени М. В. Ломоносова
Свободных экз. нет
Найти похожие
 1..3