Вид документа : Однотомное издание Шифр издания : 16/И 918 Заглавие : Исчисление высказываний : методическое пособие по логике . -2-е изд., испр. и доп. Выходные данные : Пермь, 2010 Колич.характеристики :120 с Коллективы : Министерство образования и науки Российской Федерации, Пермский государственный университет. Кафедра философии Примечания : Библиогр.: с. 117-120 Цена : 54.72, 54.72, 73.50, р. ГРНТИ : 02.21.31 УДК : 161.2(075.8) ББК : Ю422я73 Предметные рубрики: Логика Ключевые слова (''Своб.индексиров.''): высказывания (логика)--исчисление высказываний натуральное--исчисление высказываний аксиоматическое--дедукция (теорема)--исчисление высказываний (метатеоремы) Экземпляры : всего : Х(1), ЧЗГ(1), АБУ(17), БЮФ(1) Свободны : Х(1), ЧЗГ(1), АБУ(17), БЮФ(1) Доп.точки доступа: Зеленкин, Владимир Харитонович \сост.\; Министерство образования и науки Российской ФедерацииПермский государственный университет. Кафедра философии