"Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic, 2)" - читать интересную книгу автора (Richard Bornat)