Logic in Computer Science Modelling and Reasoning about Systems الأبحاث والدراسات العلمية (ملفات PDF)