"Proof and disproof in formal logic. An introduction for programmers" - читать интересную книгу автора (Richard Bornat)