واژه نامه ی توصیفی منطق انگلیسی به فارسی نویسنده ضیا موحد