Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Электронные издания ВСГУТУ- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Формат представления найденных документов:
полный
информационный
краткий
Поисковый запрос:
(<.>K=Садовский, Б. Н.<.>)
Общее количество найденных документов
:
1
>
1.
Эл. ресурс
К650
Конспекты лекций и
упражнения по курсу "Математическая логика (Логика предикатов)" [] : учебное пособие / сост.: Л. П. Петрова, Б. Н.
Садовский
. - [Б. м. : б. и.]. - Б. ц.
Рубрики:
Математическая логика--Учебные пособия
Кл.слова (ненормированные):
логика предикатов
--
язык логики предикатов
--
теоремы логики предикатов
--
прикладная логика предикатов
--
учебные пособия
--
Петрова, Л. П.
--
Садовский
, Б. Н.
Перейти к внешнему ресурсу:
Полный текст в ЭБС "Руконт"
Доп.точки доступа:
Петрова, Любовь Петровна \сост.\;
Садовский
, Борис Николаевич \сост.\
Учебная литература:
ЭтФ / СИ / 02.03.03 / Практикум по логике предикатов / 5 / Осн
Свободных экз. нет
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога