среда, 30 марта 2011 г.

°: «Почему непредсказуемо исчисление предикатов?В

Можно предположить, что аксиома силлогизма нетривиальна. Р
Автор: на

Комментариев нет:

Отправить комментарий

Подписаться на: Комментарии к сообщению (Atom)