"Mathematical Logic For Computer Science" - читать интересную книгу автора (Mordechai Ben-Ari)