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

Базы данных


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

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

Беркли Э. Символическая логика и разумные машины/Э. Беркли. - 1961
2.

Робинсон А. Введение в теорию моделей и метаматематику алгебры/А. Робинсон ; пер. с англ. А. Б. Волынского ; под ред. А. Д. Тайманова. - 1967
3.

Фрейденталь Х. Язык логики/Х. Фрейденталь ; под ред. Ю. А. Гастева. - 1969
4.

Мальцев А. И. Алгебраические системы/А. И. Мальцев. - 1970
5.

Мендельсон Э. Введение в математическую логику/Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 1971
6.

Бродский И. Н. Элементарное введение в символическую логику/И. Н. Бродский. - 1972
7.

Градштейн И. С. Прямая и обратная теоремы. Элементы алгебры логики/И. С. Градштейн. - 1972
8.

Эдельман С. Л. Математическая логика/С. Л. Эдельман. - 1975
9.

Бизам Д. Игра и логика : 85 логических задач/Д. Бизам, Я. Герцег ; перевод с венгерского Ю. А. Данилова. - 1975
10.

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