Вид документа : Однотомное издание Шифр издания : В12/В317 Автор(ы) : Верещагин, Николай Константинович, Шень, Александр Заглавие : Языки и исчисления . -Изд. 4-е, испр. Выходные данные : Москва: Изд-во МЦНМО, 2012 Колич.характеристики :240 с.: ил.; 21 см. Серия: Лекции по математической логике и теории алгоритмов Примечания : Указ. предм. и имен.: с. 228-240Библиогр.: с. 224-227. - На обл. авт. не указаны ISBN, Цена 978-5-4439-0013-1: 60 р. ГРНТИ : 27.03 УДК : 510(075.8) ББК : В123 Предметные рубрики: исчисление высказываний и предикатов Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмы Экземпляры :02(1) Свободны : 02(1) Доп.точки доступа: Шень, Александр |