Версия для печати темы
Нажмите сюда для просмотра этой темы в обычном формате
Образовательный студенческий форум _ Разное _ Вопрос!
Автор: julia_lisha 8.12.2010, 14:49
Ищу любые материалы на тему: "доказать секвенцию исчисления высказываний постоением доказательства в виде дерева".
желательно алгоритмы решений и примеры.
Спасибо 
Автор: Harch 9.12.2010, 10:58
В гугле поищите.
Автор: julia_lisha 9.12.2010, 12:57
вы прямо меня просветили
Русская версия Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)