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

Материал из Викиконспекты

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

Версия 21:02, 12 января 2012

<< На главную >>

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Лемма_о_дедукции,_полнота_исчисления_высказываний&oldid=16307»