Вид документа : Однотомное издание Шифр издания : 16/И 918 Заглавие : Исчисление высказываний : метод. пособие по логике . -2-е изд., испр. и доп. Выходные данные : Б.м., 2010 Колич.характеристики :120 с Цена : Б.ц. УДК : 16 ББК : 87.41 Предметные рубрики: Логика Логический синтаксис и логическая семантика Ключевые слова (''Своб.индексиров.''): синтаксическо-семантическая система--логика высказываний--натуральные системы исчисления--аксиоматические исчисления высказываний--теоремы дедукции--метатеоремы исчисления высказываний Доп.точки доступа: Зеленкин, В. Х. \сост.\ |