Главная Упрощенный режим Описание
Авторизация
Фамилия
Номер ЧБ
 

Вход/Регистрация через ЕСИА

Базы данных


Каталог Национальной Библиотеки Республики Дагестан- результаты поиска

Вид поиска
Каталог Национальной Библиотеки Республики Дагестан
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=математическая логика<.>
Общее количество найденных документов : 16
Показаны документы с 1 по 10
 1-10    11-16 
1.

Грэй П. Логика, алгебра и базы данных/П. Грэй. - 1989
2.

Якубайтис Э. А. Логические автоматы и микромодули/Э. А. Якубайтис. - 1975
3.

Градштейн И. С. Прямая и обратная теоремы/И. С. Градштейн. - 1965
4.

Депман И. Я. Искусственные водные пути:Первое знакомство с математической логикой/И. Я. Депман. - 1965
5.

Логическая структура научного знания/Академия наук CCCР, Институт философии. - 1965
6.

Мальцев А. И. Алгоритмы и рекурсивные функции/А. И. Мальцев. - 1965
7.

Стяжкин Н. И. Формирование математической логики/Н. И. Стяжкин ; ответственный редактор А. Л. Субботин. - 1967
8.

Гжегорчик А. Популярная логика. Общедоступный очерк логики предложений/А. Гжегорчик. - 1972
9.

Целищев В.В. Логика существования/В. В. Целищев ; редактор В. Н. Костюк. - 1976
10.

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