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

Базы данных


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

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

Вид документа : Однотомное издание
Шифр издания : 32.97/Б 48
Автор(ы) : Беркли Э.
Заглавие : Символическая логика и разумные машины
Выходные данные : Москва: Иностранная литература, 1961
Колич.характеристики :260 с.: черт.; 21
Перевод издания: Edmund C. Berkeley Symbolic logic and intelligent machines. -New York : London
Примечания : Библиогр.: с. 241-252
ISBN, Цена 5-СИ-ЛО-БЕ-61: 1.3 р.
ББК : 32.971.3 + 22.12
Предметные рубрики: Счетные машины и приборы вычислительные, электронные
Математическая логика
Экземпляры :КХ(1)
Свободны : КХ(1)
Найти похожие
2.

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

Вид документа : Однотомное издание
Шифр издания : 22.12/Ф 86
Автор(ы) : Фрейденталь, Ханс
Заглавие : Язык логики
Выходные данные : Москва: Наука, 1969
Колич.характеристики :135 с
ISBN, Цена 5-ЯЗ-ЛО-ФР-69: 00.49 р.
ББК : 22.12я73
Предметные рубрики: Математическая логика
Экземпляры : всего : КХ(1), АБ(1)
Свободны : КХ(1), АБ(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 22.14/М 21
Автор(ы) : Мальцев, Анатолий Иванович
Заглавие : Алгебраические системы
Выходные данные : Москва: Наука, 1970
Колич.характеристики :392 с.: ил.; 21; 1 л.: портр.
Серия: Современная алгебра
Примечания : Библиогр.: с. 384-387 (78 назв.). - Предм. указатель: с. 388-392
ISBN, Цена 5-АЛ-СИ-МА-70: 1.50 р.
ББК : 22.14 + 22.124
Предметные рубрики: Алгебра высшая
Математическая логика
Экземпляры : всего : КХ(1), АБ(1)
Свободны : КХ(1), АБ(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 22.12/М 50
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику
Выходные данные : Москва: Наука, 1971
Колич.характеристики :320 с.: ил.
Перевод издания: Elliot Mendelson Introduction to Mathematical Logic
ISBN, Цена 5-ВВ-МА-МЕ-71: 1.77 р.
ББК : 22.12
Предметные рубрики: Математическая логика
Экземпляры : всего : АБ(2)
Свободны : АБ(2)
Найти похожие
6.

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

Вид документа : Однотомное издание
Шифр издания : 22.12/Г 75
Автор(ы) : Градштейн, Израиль Соломонович
Заглавие : Прямая и обратная теоремы. Элементы алгебры логики . -5-е изд.
Выходные данные : Москва: Наука, 1972
Колич.характеристики :128 с. ; 20 см
ISBN, Цена 5-ПР-И-ОБ-72: 00.24 р.
ББК : 22.124
Предметные рубрики: Теоремы (мат.)-- Доказательство
Математическая логика
Экземпляры : всего : КХ(1), ЧЗ(1), АБ(1)
Свободны : КХ(1), ЧЗ(1), АБ(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : 22.12/Э 19
Автор(ы) : Эдельман, Самсон Львович
Заглавие : Математическая логика : учебное пособие для педагогических институтов
Выходные данные : Москва: Высшая школа, 1975
Колич.характеристики :176 с
Примечания : Библиогр.: с. 172 (14 назв.). - Предм. указ.: с. 173-176
ISBN, Цена 5-МА-ЛО-ЭД-75: 0.30 р.
ББК : 22.12я73
Предметные рубрики: Математическая логика
Экземпляры :АБ(1)
Свободны : АБ(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 22.12/Б 59
Автор(ы) : Бизам, Дьердь, Герцег, Янош
Заглавие : Игра и логика : 85 логических задач
Выходные данные : Москва: Мир, 1975
Колич.характеристики :359 с.: ил.; 22
Перевод издания: Bizam G. Jatek es logika/ G. Bizam, J. Herczeg. -(Budapest, 1972)
ISBN, Цена 5-ИГ-ЛО-БИ-75: 1.15 р.
ББК : 22.12
Предметные рубрики: Математическая логика
Экземпляры : всего : АБ(1), ЧЗ(1)
Свободны : АБ(1), ЧЗ(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 22.12/Б 59
Автор(ы) : Бизам, Дьердь, Герцег, Янош
Заглавие : Многоцветная логика : 175 логических задач
Выходные данные : М.: Мир, 1978
Колич.характеристики :435 с.: ил.
ISBN, Цена 5-МН-ЛО-БИ-ГЕ: 1.50 р.
ББК : 22.122
Предметные рубрики: Математическая логика
Экземпляры : всего : АБ(1), ЧЗ(1)
Свободны : АБ(1), ЧЗ(1)
Найти похожие
 1-10    11-20   21-30  
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)