Синтаксис и семантика логических систем

 

QR-код документа

Оценок: 0

В12
С 387

    Синтаксис и семантика логических систем : материалы 5 Российской школы-семинара (Улан-Удэ, 8-12 августа 2017 г.) / Министерство образования и науки Российской Федерации, Бурятский государственный университет, Институт математики, СО РАН ; [редакционная коллегия Н.А. Перязев и др.]. - Улан-Удэ : Издательство БГУ, 2017. - 87 с. ; 20 см. - Библиогр. в конце ст. - 70 экз. - ISBN 978-5-9793-1053-4 : 50.00 р.
ГРНТИ
27
ББК В12я43

Рубрики: Математическая логика--Съезды и конференции

   Прикладная математика--Съезды и конференции

Кл.слова (ненормированные):
математическая логика -- прикладная математкиа
Доп.точки доступа:
Перязев, Н. А. \ред.\
Пантелеев, В. И. \ред.\
Винокуров, С. Ф. \ред.\
Щаранхаев, И. К. \ред.\
Автор из Бурятии, но не о Бурятии
Российская Федерация. Министерство образования и науки
Бурятский государственный университет. Институт математики
Российская академия наук. Сибирское отделение
"Синтаксис и семантика логических систем", российская школа-семинар (5 ; 2017 ; Улан-Удэ)

Экземпляры всего: 4
КХ (3), ОЧЗ (1)
Свободны: КХ (3), ОЧЗ (1)

Авторизуйтесь для получения дополнительных услуг