510.635. Логика предикатов и исчисление предикатов.

510.635.3 Расширенное исчисление предикатов.

[ Начало ]