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