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

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

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

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

    Гильберт, Давид.
    Избранные труды [Текст] : в двух томах. Т.2. Анализ.Физика.Проблемы.PERSONALIA / Д. Гильберт. - [Б. м. : б. и.]. - 607с. - 20.1000 р.
ББК В1
Рубрики: математика
   физика
Кл.слова (ненормированные):
математика -- физика

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

    Гильберт, Давид.
    Избранные труды [Текст] : в двух томах. Т.1. Теория инвариантов.Теория чисел.Алгебра.Геометрия.Основания математики / Д. Гильберт. - [Б. м. : б. и.]. - 575с. - 20.1000 р.
ББК В1
Рубрики: математика
Кл.слова (ненормированные):
математика

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

    Гильберт, Давид.
    Основания математики [Текст] : логические исчисления и формализация арифметики: Пер. с нем. / Д. Гильберт. - 2-е изд. - М. : Наука, 1982. - 556с. - (Математическая логика и основания математики). - 6.22 р.
ББК В12
Рубрики: основания математики
Кл.слова (ненормированные):
логические исчисления -- формализация арифметики

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

Доп.точки доступа:
Бернайс, Пауль ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
В12
Г47

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

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

Доп.точки доступа:
Бернайс, Пауль ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
5.
В12
Г47

    Гильберт, Давид.
    Основания математики [Текст] : теория доказательств / Д.Гильберт,П.Бернайс.Пер.с нем. - М. : Наука, 1982. - 652с. - (Математическая логика и основания математики). - 10.00 р.
ББК В12
Рубрики: Основания математика
Кл.слова (ненормированные):
б-ка Русина -- теория доказательств

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

Доп.точки доступа:
Бернайс, Пауль ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
 1..5