Изменения

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

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

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

Навигация