Изменения

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

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

67 байт добавлено, 03:15, 13 января 2012

Нет описания правки

[[Категория: Математическая логика]]

[[Лекция 2 | <<]][[Лекция 4 | >>]]

419

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16420»