Proof Disproof Formal Logi Otil P door Richard Bornat