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

Базы данных


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

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

Математическая логика и теория алгоритмов/отв. ред.: Ю. Л. Ершов, С. С. Гончаров. - 1993
2.

Бизам Д. Многоцветная логика/Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - 1978
3.

Антипенко Л. Г. Проблема неполноты теории и ее гносеологическое значение/Л. Г. Антипенко ; отв. ред.: Н. И. Стяжкин, Л. И. Мчедлишвили. - 1986
4.

Колмогоров А. Н. Математическая логика/А. Н. Колмогоров, А. Г. Драгалин. - 2005
5.

Аляев Ю. А. Дискретная математика и математическая логика/Ю. А. Аляев, С. Ф. Тюрин. - 2006
6.

Триумфгородских М. В. Дискретная математика и математическая логика для информатиков, экономистов и менеджеров/М. В. Триумфгородских. - 2011
7.

Волгин Л. И. Непрерывная логика. Теория и применения/Л. И. Волгин, В. И. Левин. - 1990
8.

Вопросы кибернетики/АН СССР, Науч. совет по комплекс. пробл. "Кибернетика". - 1982
9.

Исследование по некласическим логикам и формальным системам/ВИНИТИ. - 1983
10.

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