Изменения

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

Исчисление высказываний

69 байт добавлено, 20:59, 12 января 2012

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

[[Матлогика | На главную]][[Лекция 3 | >>]]

==Язык исчисления высказываний==

===Определения===

97

правок

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