прэдыкатаў злічэнне — predicate calculus

Паведаміць пра недакладнасьць