supremum proof in predicate calculus

Printable View