(2)PD+ derivation proofs: (x)((Cx & ~(y)Pyx) Ox), Ca, (z)~Pza Oa ...

Posted Date: