Proof Disproof Formal Logi Otil P by Richard Bornat