Орловская областная научная универсальная публичная библиотека им.И.А.Бунина
Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Электронный каталог- результаты поиска

Вид поиска
Электронный каталог
Аналитические описания статей
Электронный краеведческий каталог
Орловская область в центральной печати
Аналитические описания статей дореволюционной периодики
Аналитические описания непериодических изданий
Музыкально-нотные издания
Объединенный электронный краеведческий каталог муниципальных библиотек
Объединенный электронный каталог муниципальных библиотек
Электронный каталог книг Мценской межпоселенческой районной библиотеки
Электронный каталог межпоселенческой централизованной библиотечной системы Орловского района
Каталог локальных электронных ресурсов
Полнотекстовая база
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=Математическая логика<.>
Общее количество найденных документов : 30
Показаны документы с 1 по 10
 1-10    11-20   21-30  
1.
768619-АБ
   22.12
   Э 19

    Эдельман, Самсон Львович.
    Математическая логика [Текст] : учебное пособие для педагогических институтов / С. Л. Эдельман. - Москва : Высшая школа, 1975. - 176 с. - Библиогр.: с. 172 (14 назв.). - Предм. указ.: с. 173-176. - ISBN 5-МА-ЛО-ЭД-75 : 0.30 р.
ББК 22.12я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений

Держатели документа:
ООПБ
Экземпляры всего: 1
АБ (1)
Свободны: АБ (1)
Найти похожие
2.
992852-КХ
   22.12
   Ш 23

    Шапиро, Самуил Иосифович.
    Решение логических и игровых задач [Текст] / С. И. Шапиро. - Москва : Радио и связь, 1984. - 153 с. - Библиогр.: с. 151. - ISBN 5-РЕ-ЛО-ИГ-ША : 00.55 р.
ББК 22.122
Рубрики: Математическая логика

Держатели документа:
ООПБ
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
3.
631311-КХ, 639193-АБ
   22.12
   Ф 86

    Фрейденталь, Ханс.
    Язык логики [Текст] / Х. Фрейденталь ; под ред. Ю. А. Гастева. - Москва : Наука, 1969. - 135 с. - ISBN 5-ЯЗ-ЛО-ФР-69 : 00.49 р.
ББК 22.12я73
Рубрики: Математическая логика

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

Доп.точки доступа:
Гастев, Ю. А. \ред.\
Экземпляры всего: 2
КХ (1), АБ (1)
Свободны: КХ (1), АБ (1)
Найти похожие
4.
А271512-ЧЗ
   22.17
   Т 68

    Триумфгородских, Максим Валерьевич.
    Дискретная математика и математическая логика для информатиков, экономистов и менеджеров [Текст] : учебное пособие для студентов вузов / М. В. Триумфгородских. - М. : Диалог-МИФИ, 2011. - 180 с. : рис. - Библиогр. в конце глав. - ISBN 978-5-86404-238-0 : 207.90 р.
ББК 22.174я73 + 22.122я73
Рубрики: Математическая логика--Учебники для высших учебных заведений
   Дискретная математика--Учебники для высших учебных заведений

Держатели документа:
ООПБ
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Найти похожие
5.
А118424-КХ
   87.4
   С 38

   
    Синтаксические и семантические исследования неэкстенсиальных логик [Текст] : [сб. ст.] / АН СССР, Ин-т философии ; отв. ред. В. А. Смирнов. - Москва : Наука, 1989. - 308, [1] с. - Библиогр. в конце ст. - ISBN 5-02-008026-8 : 2.90 р.
ББК 87.41я431 + 22.122я431
Рубрики: Математическая логика

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

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

    Сайфуллаев, Нигматулла Мирзоевич.
    Логический анализ понятия количества [Текст] / Н. М. Сайфуллаев ; отв. ред. К. К. Одинаев ; АН ТаджССР, Отд. философии. - Душанбе : Дониш, 1989. - 133, [2] с. - Библиогр.: с. 129-134. - ISBN 5-ЛО-АН-ПО-89 : 1.60 р.
ББК 22.122
Рубрики: Математическая логика

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

Доп.точки доступа:
Одинаев, К. К. \ред.\; АН ТаджССР, Отд. философии
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
7.
586085-КХ, 599767-АБ
   22.12
   Р 58

    Робинсон, Авраам.
    Введение в теорию моделей и метаматематику алгебры [Текст] / А. Робинсон ; пер. с англ. А. Б. Волынского ; под ред. А. Д. Тайманова. - Москва : Наука, 1967. - 376 с. - (Математическая логика и основания математики). - Библиогр.: с. 356-372. - Указ.: с. 373-376. - Пер. изд. : Introduction to Model Theory and to the Metamathematics of Algebra / A. Robinson. - Amsterdam, 1963. - ISBN 5-ВВ-ТЕ-МО-67 : 1.65 р.
На обл. авт. и загл. отсутствуют
ББК 22.12
Рубрики: Математическая логика

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

Доп.точки доступа:
Волынский, А. Б. \пер.\; Тайманов, А. Д. \ред.\; Robinson, A.
Экземпляры всего: 2
КХ (1), АБ (1)
Свободны: КХ (1), АБ (1)
Найти похожие
8.
А145856-КХ
   22.12
   Р 27

    Раца, Мефодий Федорович.
    Выразимость в исчислениях высказываний [Текст] : научное издание / М. Ф. Раца ; под ред. А. Д. Тайманова ; АН ССРМ, Ин-т математики с ВЦ. - Кишинев : Штиинца, 1991. - 202, [1] с. - Библиогр.: с. 196-201. - ISBN 5-376-00961-0 : 2.50 р.
ББК 22.122
Рубрики: Математическая логика

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

Доп.точки доступа:
Тайманов, А. Д. \ред.\; АН ССРМ. Ин-т математики с ВЦ
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
9.
679619-АБ, 679620-АБ
   22.12
   М 50

    Мендельсон, Эллиот.
    Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - Москва : Наука, 1971. - 320 с. : ил. - Пер. изд. : Introduction to Mathematical Logic / Mendelson Elliot. - ISBN 5-ВВ-МА-МЕ-71 : 1.77 р.
ББК 22.12
Рубрики: Математическая логика

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

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

   
    Математическая логика и теория алгоритмов [Текст] / отв. ред.: Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Изд-во Ин-та математики, 1993. - 201 с. : ил. - (Труды Института математики СО РАН / Рос. АН, Сиб. отд-ние ; т. 25). - ISBN 5-86134-004-8 : 1050 р.
ББК 22.122я54 + 22.127я54
Рубрики: Математическая логика
   Алгоритмы

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

Доп.точки доступа:
Ершов, Ю. Л. \ред.\; Гончаров, С. С. \ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
 1-10    11-20   21-30  
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)