Вид документа : Однотомное издание Шифр издания : 517/П 580 Автор(ы) : Попов, Сергей Викторович, Брошкова, Наталья Леонидовна Заглавие : Прикладная логика Выходные данные : Москва: Физматлит, 2011 Колич.характеристики :212 с.: ил. Примечания : Библиогр.: с. 210-212 ISBN, Цена 978-5-9221-1340-3: 250 р. ГРНТИ : 27.03.19 УДК : 510.6 + 004.312 Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): логика практическая--логика математическая--математика (логика)--логические схемы--логические блоки--логические задачи (классификация)--логический анализ--секвенциальное исчесление Экземпляры :Х(1) Свободны : Х(1) Доп.точки доступа: Брошкова, Наталья Леонидовна