Изменения

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

Исчисление предикатов

5 байт убрано, 07:08, 13 января 2012

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

Без доказательства.

~~<tex>~~

[[Лекция 3 | <<]][[Лекция 5 | >>]]

Анонимный участник

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