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

Базы данных


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

Вид поиска
Книги
Авторефераты
Аудиовизуальный фонд
Фонд редкой книги
Труды преподавателей
Периодические издания
Выпускные квалификационные работы
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: <.>K=теорема Эрбрана<.>
Общее количество найденных документов : 1
1.

Вид документа : Однотомное издание
Шифр издания : 22.122/Ч-43
Автор(ы) : Чень Ч., Ли Р.
Заглавие : Математическая логика и автоматическое доказательство теорем
Выходные данные : М.: Наука, 1983
Колич.характеристики :360 с
Серия: Математическая логика и основания математики
Цена : 2.20 р.
ББК : 22.122
Предметные рубрики: Математическая логика
Экземпляры : всего : Ч.з.1(2)
Свободны : Ч.з.1(2)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)