Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

Основная библиотечная БД - результаты поиска

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=Доказательств теория<.>)

Общее количество найденных документов : 7
Показаны документы с 1 по 7

   517
   К 608

    Колмогоров, Андрей Николаевич.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : УРСС, 2004. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-00389-X : 140.00 р., 156.90 р.

27.23
УДК	510.6(075.8)

Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория

Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 3
Х (1), ЧЗЕ (1), АБУ (1)
Свободны: Х (1), ЧЗЕ (1), АБУ (1)
Найти похожие

   517
   К 608

    Колмогоров, Андрей Николаевич.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. Л. Ломоносова. - 2-е изд., стер. - Москва : УРСС, 2005. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-01003-9 : 159 р.

ГРНТИ	27.23
УДК	510.6(075.8)

Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория

Доп.точки доступа:
Драгалин, Альберт Григорьевич; Московский государственный университет им. М. Л. Ломоносова
Экземпляры всего: 2
АБУ (2)
Свободны: АБУ (2)
Найти похожие

   517
   У 774

    Успенский, Владимир Андреевич.
    Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2002. - 128 с. - Библиогр.: с. 122. - На обл. авт. не указаны. - ISBN 5-9221-0278-8 : 100.00 р., 100.00 р.

27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Множеств теория -- Алгоритмов теория -- Языки первого порядка -- Доказательств теория -- Учебные издания

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

   517
   К 608

    Колмогоров, Андрей Николаевич.
    Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. В. Ломоносова. - 3-е изд., стер. - Москва : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - ISBN 5-484-00520-5 : 129 р.

27.03.19
УДК	510.6(075.8)

Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- ДОКАЗАТЕЛЬСТВ ТЕОРИЯ

Доп.точки доступа:
Драгалин, Альберт Григорьевич; Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 15
АБУ (15)
Свободны: АБУ (15)
Найти похожие

   347
   К 592

    Козлов, А. С.
    Актуальные проблемы теории доказательств в науке гражданского процесса : учеб. пособие / А. С. Козлов ; ИГУ. - Иркутск : [б. и.], 1980. - 85 с. - 00.30 р.

ББК Х629.21я73
Рубрики: Гражданское право--учебное издание
Кл.слова (ненормированные):
гражданский процесс -- доказательств теория

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

   517
   С 741

    Справочная книга по математической логике : в 4 ч. / ред. Дж. Барвайс. - Москва : Наука, 1982.
   Ч. 4 : Теория доказательств и коструктивная математика / пер.: Г. В. Давыдов, Г. Е. Минц ; ред. В. П. Оревков. - 1982. - 391 с. - ). - 2.10 р., 2.10 р.

ГРНТИ	27.23
УДК	517

Рубрики: Математический анализ--Справочники
Кл.слова (ненормированные):
Доказательств теория -- Справочники -- Конструктивная математика

Доп.точки доступа:
Барвайс, Дж. \ред.\; Давыдов, Г. В. \пер.\; Минц, Г. Е. \пер.\; Оревков, В. П. \ред.\
Экземпляры всего: 4
АБН (3), Х (1)
Свободны: АБН (3), Х (1)
Найти похожие

   517
   Т 150

    Такеути, Гаиси.
    Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева под ред. С. И. Адяна. - Москва : Мир, 1978. - 412 с. - Предм. указ.: с. 406-410. - 2.10 р., 2.10 р.

ГРНТИ	27.03.19
УДК	510.6

Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ДОКАЗАТЕЛЬСТВ ТЕОРИЯ

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

Тематический навигатор

Статистика обращений

Статистика за 08.07.2024
Число запросов	61041
Число посетителей	553
Число заказов	0

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