Библиотека Российской академии наук (БАН)

Базы данных


Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН) - результаты поиска

Вид поиска

Область поиска
в найденном
 Найдено в других БД:ЭК отдела БАН при Санкт-Петербургском отделении Математического института им. В.А. Стеклова РАН (ПОМИ) (13)
Формат представления найденных документов:
полный краткийкарточка БАН
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Математическая логика<.>)
Общее количество найденных документов : 365
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.

1999к/650
Фреге Г. Избранные работы/Готлоб Фреге. - 1997
2.

2000к/15592, 1)

Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов. [Ч. 1]:Начала теории множеств. - 1999
3.

2001к/6550
Босова Арифметические и логические основы ЭВМ/Л. Л. Босова. - 2000
4.

2001к/5683
Лыскова Логика в информатике/В. Ю. Лыскова, Е. А. Ракитина. - 1999
5.

2001к/11696
Селиванов Краткий курс математической логики/В. Л. Селиванов, А. А. Урман, А. Б. Хуторецкий. - 1997
6.

2001к/9903
Каширин Основы формальных систем/И. Ю. Каширин, Л. В. Маликова, В. В. Маркова. - 1999
7.

2001к/11132
Зиновьев Очерки комплексной логики/А. Зиновьев. - 2000
8.

2001к/3343
Лукас Основы фази-управления/В. А. Лукас. - 2000
9.

Ак.с.
2001к/4307
Аверкин Параметрические логики в интеллектуальных системах управления/А. Н. Аверкин, И. Н. Федосеева. - 2000
10.

2001к/22237
Гамова Математическая логика и теория алгоритмов/А. Н. Гамова. - 1999
 1-10    11-20   21-30   31-40   41-50   51-60