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