Вид документа : Однотомное издание Шифр издания : 355183 Автор(ы) : Шапорев, Сергей Дмитриевич Заглавие : Математическая логика : курс лекций и практических занятий Выходные данные : Санкт-Петербург: БХВ-Петербург, 2007 Колич.характеристики :410 с.: граф., табл. Серия: Учебное пособие Примечания : Библиогр.: с. 405 (26 назв.). - Предм. указ.: с. 406-410. - Допущено науч.-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 171900 "Информационные системы в технике и технологиях" ISBN (в пер.), Цена 978-5-94157-702-6: 149.20 р. УДК : 510.6(075.8) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--исчисления предикатов--логика предикатов Экземпляры : всего : ОХФ-ЧЗ-4(1), ОХФ(2), ОУОЕН(22) Свободны : ОХФ-ЧЗ-4(1), ОХФ(2), ОУОЕН(22)