First Order Logic help with corrections.

Printable View