Изменения

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

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

10 байт убрано, 23:30, 12 января 2012
Отмена правки 16378 участника Proshev (обсуждение)
[[Лекция 2 | <<]][[Лекция 4 | >>]]
 
тест
==Теорема о дедукции==
Proshev
419
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16379»

Навигация