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