أرسل هذا في رسالة قصيرة: Mathematical Logic For Computer Science M. Ben Ari