TY - SER AU - بنتاجر، سعيد TI - تقويم الدليل الطبيعي بين المنطق الصوري والمنطق غير الصوري U1 - 160 ER -