Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Генеральный сводный каталог РНТБ и филиалов"- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:БД "Электронный каталог РНТБ" (4)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>A=Гильберт, Д.$<.>
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.
   517/Г474

    Гильберт, Д.
    Основания математики [Текст] : логические исчисления и формализация арифметики / Д. Гильберт; Под ред. С.И.Адяна. - М. : Наука, 1979. - 560 c. - (в пер.) : 2-70 р.
ГРНТИ
УДК
Рубрики: Математика

Держатели документа:
Жамбылский филиал РНТБ Казахстана

Доп.точки доступа:
Бернайс, П.; Адян, С.И. \ред.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие

2.
   51 Г-474
   Г47


    Гильберт, Д.
    Основания математики.Теория доказательств [Текст] : пер. с нем. Н. М. Нагорного / Д. Гильберт; Под.ред.С.И.Адяна . - М. : Наука, 1982. - 656 с. - (Математическая логика и основания математики). - 3-40 тг.
ГРНТИ
УДК
Рубрики: Математика
Кл.слова (ненормированные):
ЛОГИЧЕСКИЙ ФОРМАЛИЗ -- АРИФМЕТИЗАЦИЯ МАТЕМАТИКИ -- ИСЧИСЛЕНИЯ ПРИДИКАТОВ -- ДОК-ВО АККЕРМАНА -- ДОК-ВО КАЛЬМАРА -- ДЕДУКТИВНОЕ ОПИСАНИЕ

Держатели документа:
Актюбинский филиал РНТБ Казахстана

Доп.точки доступа:
Бернайс, П.
Экземпляры всего: 1
03-ЧЗ (1)
Свободны: 03-ЧЗ (1)
Найти похожие

3.
   514/Г474

    Гильберт, Д.
    Наглядная геометрия [] : пер. с нем. / Д.Гильберт, С.Кон-Фоссен. - Изд. 3-е3-е изд. - М. : Наука, 1981. - 344 с. - 1-30 тг., 1-30 тг.
ГРНТИ
УДК
Рубрики: геометрия
   Геометрия

Кл.слова (ненормированные):
КРИВЫЕ -- ТОЧЕЧНЫЕ СИСТЕМЫ -- КОНФИГУРАЦИИ -- КИНЕМАТИКА -- ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ -- ТОПОЛОГИЯ

Держатели документа:
Актюбинский филиал РНТБ Казахстана

Доп.точки доступа:
Кон-Фоссен, С.
Экземпляры всего: 2
03-ЧЗ (1), ХР (1)
Свободны: 03-ЧЗ (1), ХР (1)
Найти похожие

4.
   514/Г474

    Гильберт, Д.
    Наглядная геометрия [Текст] : пер.с нем.С.А.Каменецкого / Д. Гильберт, С. Кон-Фоссен. - 3-е изд. - М. : Наука, 1981. - 344 с. : ил. - 1.30 р.
ГРНТИ
УДК
Рубрики: Геометрия

Держатели документа:
Карагандинский филиал РНТБ Казахстана

Доп.точки доступа:
Кон-Фоссен, С.
Экземпляры всего: 1
08-ХР (1)
Свободны: 08-ХР (1)
Найти похожие

5.
   51/Г474
   Г 47


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

Держатели документа:
Республиканская научно-техническая библиотека Казахстана

Доп.точки доступа:
Бернайс, П.
Экземпляры всего: 3
ХР (3)
Свободны: ХР (3)
Найти похожие

6.
   51/Г474
   Г 47


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

Держатели документа:
Республиканская научно-техническая библиотека Казахстана

Доп.точки доступа:
Бернайс, П.
Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)
Найти похожие

7.
   51/Г474
   Г 47


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

Держатели документа:
Республиканская научно-техническая библиотека Казахстана

Доп.точки доступа:
Бернайс, П.
Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)
Найти похожие

8.
   514/Г474
   Г 47


    Гильберт, Д.
    Наглядная геометрия [Текст] : пер.с нем. / Д. Гильберт, С. Кон-Фоссен. - М. : Наука, 1981. - 344 с. : ил. - Б. ц.
ГРНТИ
УДК
Рубрики: Геометрия

Держатели документа:
Республиканская научно-техническая библиотека Казахстана

Доп.точки доступа:
Кон-Фоссен, С.
Экземпляры всего: 3
ХР (3)
Свободны: ХР (3)
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)