restricted predicate calculus

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