Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Книги- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Формат представления найденных документов:
полный
информационный
краткий
Поисковый запрос:
(<.>K=логико-математические языки<.>)
Общее количество найденных документов
:
1
>
1.
51
К608
Колмогоров, Андрей Николаевич
.
Математическая
логика : Учебное пособие для
математических
специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова. - Москва : Издательство УРСС, 2004. - 238 с. : ил. - (Классический университетский учебник). -
ISBN
5-354-00389-X : 196.29 р.
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики:
Математическая
логика--Учебные пособия
Кл.слова (ненормированные):
математическая
логика
--
теория множеств
--
логико
-
математические
языки
--
логические законы
--
формальные аксиоматические теории
--
теория алгорифмов
--
теория доказательств
--
учебные пособия
Доп.точки доступа:
Драгалин, Альберт Григорьевич; Московский государственный университет им. М. В. Ломоносова
Экземпляры всего:
1
чз (1)
Свободны:
чз (1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога