510.635. Логика предикатов и исчисление предикатов.
510.635.3
Расширенное исчисление предикатов.
[
Начало
]