Научная библиотека ВСГУТУ

Базы данных

Вид поиска

Электронные издания ВСГУТУ

Статьи преподавателей ВСГУТУ

Вестник ВСГУТУ

Материалы конференций ВСГУТУ

Диссертации

Авторефераты

Статьи о Бурятии

Выберите поиск:
Что искать:

Найдено в других БД:

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>S=Математическая логика -- Учебные пособия<.>)

Общее количество найденных документов : 1

1.

   Эл. ресурс
   К650


    Конспекты лекций и упражнения по курсу "Математическая логика (Логика предикатов)" [] : учебное пособие / сост.: Л. П. Петрова, Б. Н. Садовский. - [Б. м. : б. и.]. - Б. ц.
Рубрики: Математическая логика--Учебные пособия
Кл.слова (ненормированные):
логика предикатов -- язык логики предикатов -- теоремы логики предикатов -- прикладная логика предикатов -- учебные пособия -- Петрова, Л. П. -- Садовский, Б. Н.

Перейти к внешнему ресурсу: Полный текст в ЭБС "Руконт"

Доп.точки доступа:
Петрова, Любовь Петровна \сост.\; Садовский, Борис Николаевич \сост.\
Учебная литература:
ЭтФ / СИ / 02.03.03 / Практикум по логике предикатов / 5 / Осн
Свободных экз. нет
Найти похожие

Стандартный

Расширенный

Профессиональный

Распределенный

По словарю

ГРНТИ-навигатор

УДК-навигатор

ББК-навигатор

Тематический навигатор

ссылка на мобильную версию электронного каталога