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

Базы данных


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

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

    Беркли, Э.
    Символическая логика и разумные машины [Текст] / Э. Беркли ; Перевод с английского И. В. Соловьева ; Под редакцией и с предисловием Г. Н. Поварова. - Москва : Иностранная литература, 1961. - 260 с. : черт. ; 21. - Библиогр.: с. 241-252. - Пер. изд. : Symbolic logic and intelligent machines / C. Berkeley Edmund. - New York : London. - ISBN 5-СИ-ЛО-БЕ-61 : 1.3 р.
ББК 32.971.3 + 22.12
Рубрики: Счетные машины и приборы вычислительные, электронные
   Математическая логика

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

Доп.точки доступа:
Соловьев, И. В. \пер.\; Поваров, Г. Н. \ред., авт. предисл.\; Edmund, C. Berkeley
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
2.
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)
Найти похожие
3.
631311-КХ, 639193-АБ
   22.12
   Ф 86

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

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

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

    Мальцев, Анатолий Иванович.
    Алгебраические системы [Текст] / А. И. Мальцев. - Москва : Наука, 1970. - 392 с. : ил. ; 21 ; 1 л. : портр. - (Современная алгебра). - Библиогр.: с. 384-387 (78 назв.). - Предм. указатель: с. 388-392. - 17500 экз.. - ISBN 5-АЛ-СИ-МА-70 : 1.50 р.
ББК 22.14 + 22.124
Рубрики: Алгебра высшая
   Математическая логика

Держатели документа:
ООПБ
Экземпляры всего: 2
КХ (1), АБ (1)
Свободны: КХ (1), АБ (1)
Найти похожие
5.
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)
Найти похожие
6.
698087-КХ
   22.1
   Б 88

    Бродский, Иосиф Нусимович.
    Элементарное введение в символическую логику [Текст] / И. Н. Бродский ; Ленинградский государственный университет имени А. А. Жданова. - 2-е перераб. изд. - Ленинград : Изд-во Ленингр. ун-та, 1972. - 62 с. ; 21. - ([В помощь студентам вечерних и заочных вузов]). - ISBN 5-ЭЛ-ВВ-БР-72 : 14.00 р.
ББК 22.12я7
Рубрики: Математическая логика--Учебные издания для заочного обучения

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

Доп.точки доступа:
Ленинградский государственный университет имени А. А. Жданова
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
7.
698011-КХ, 703891-ЧЗ, 706844-АБ
   22.12
   Г 75

    Градштейн, Израиль Соломонович.
    Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И. С. Градштейн. - 5-е изд. - Москва : Наука, 1972. - 128 с. ; 20 см. - ISBN 5-ПР-И-ОБ-72 : 00.24 р.
ББК 22.124
Рубрики: Теоремы (мат.)--Доказательство
   Математическая логика

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

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

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

    Бизам, Дьердь.
    Игра и логика : 85 логических задач [Текст] / Д. Бизам, Я. Герцег ; перевод с венгерского Ю. А. Данилова. - Москва : Мир, 1975. - 359 с. : ил. ; 22. - Пер. изд. : Jatek es logika / G. Bizam, J. Herczeg. - (Budapest, 1972). - ISBN 5-ИГ-ЛО-БИ-75 : 1.15 р.
ББК 22.12
Рубрики: Математическая логика

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

Доп.точки доступа:
Герцег, Янош; Данилов, Ю. А. \пер.\; Bizam, G. ; Herczeg, J.
Экземпляры всего: 2
АБ (1), ЧЗ (1)
Свободны: АБ (1), ЧЗ (1)
Найти похожие
10.
А181823-АБ, 848448-ЧЗ
   22.12
   Б 59

    Бизам, Дьердь.
    Многоцветная логика [Текст] : 175 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - М. : Мир, 1978. - 435 с. : ил. - ISBN 5-МН-ЛО-БИ-ГЕ : 1.50 р.
ББК 22.122
Рубрики: Математическая логика

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

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