Proof and disproof in formal logic : an introduction for programmers - Bornat, Richard, 1944- (Oxford texts in logic, 2005)