Изменения

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

Участник:Kir1251

93 байта добавлено, 06:41, 15 января 2012

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

==Список аксиом логики(просто для себя):==

[[Участник:Kir1251/Аксиомы|Аксиомы по логике(для себя)]]

=Аксиомы системы исчисления высказываний=

<tex>

13

правок

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