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

Базы данных


БД "Генеральный сводный каталог РНТБ и филиалов"- результаты поиска

Вид поиска
Тестовая библиотечная БД
БД "Электронный каталог РНТБ"
БД "Регистрационная картотека периодических изданий РНТБ"
БД "Стандарты"
БД "Диссертации"
БД "Нормативно-техническая документация"
БД "Промышленные каталоги"
БД "Генеральный сводный каталог РНТБ и филиалов"
БД "Полнотекстовые ресурсы удаленного доступа"
БД "Нормативно-технические документы РНТБ и филиалов. Сводный каталог"
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>S=Математическая логика. Логика математическая -- 510.6<.>
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

Вид документа : Однотомное издание
Шифр издания : 51/М 50
Автор(ы) : Мендельсон Э.
Заглавие : Введение в математическую логику : перевод с английского
Выходные данные : М.: Наука , 1971
Колич.характеристики :320 с
Примечания : Библиогр.: с. 297-309
Цена : Б.ц.
ГРНТИ : 27
УДК : 510.6
Предметные рубрики: Математическая логика. Логика математическая -- 510.6
Экземпляры :12ХР(1)
Свободны : 12ХР(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 51/Н 59
Заглавие : Нечеткие множества и теория возможностей: Последние достижения : монография
Выходные данные : М.: Радио и связь, 1986
Колич.характеристики :408 с.: ил.
Цена : Б.ц.
ГРНТИ : 27
УДК : 510.22
Предметные рубрики: Математическая логика. Логика математическая -- 510.6
Экземпляры :12ХР(1)
Свободны : 12ХР(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 51/М 34
Заглавие : Математическая логика и теория алгоритмов : сборник
Выходные данные : Новосибирск: Наука. Сиб. отд-ние, 1982
Колич.характеристики :176 с
Серия: Труды института математики, Т. 2
Примечания : Библиогр.: с. 174-175
Цена : 23.00 тг.
ГРНТИ : 27.03.19
УДК : 510.6+512.54.0 + 512.54.0
Предметные рубрики: Математическая логика. Логика математическая -- 510.6
Ключевые слова (''Своб.индексиров.''): эквивалент--интерполяционная теорема--нильпотентная группа--элементарные свойства--трансцендентные теории--изоморфизм
Экземпляры :12ХР(1)
Свободны : 12ХР(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)