"Elementary Logic" - читать интересную книгу автора (Benson Mates)