Proof Disproof Formal Logi Otil C door Richard Bornat