Изменения

Перейти к: навигация, поиск

Обсуждение:Лемма о дедукции, полнота исчисления высказываний

198 байт добавлено, 04:37, 13 января 2012
Нет описания правки
Объяснил М.Р.
Лучше объясни, что такое Сх.(откуда берутся эти формулы)
: Вроде как из последнего определения прошлой лекции. Инфа меньше 100% --[[Участник:Kir1251|Kir1251]] 04:37, 13 января 2012 (MSK)
Kir1251
13
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16441»

Навигация