predicate logic factors primes and quantifiers

Upgrade
Loading…