کاربستِ «کاربست» و حل سه مشکل در نظریة ارجاع کریپکی کاربست جهان ممکن مثلث بندی نظریة ارجاع کریپکی نشان گر صلب ترم های نظری نام گذاری اولیه text حسین نصراللهی صداقت آهنگری حسین‌زاده, مرتضی (استادیار دانشکده مدیریت، علم و فناوری دانشگاه صنعتی امیر کبیر تهران) article portal_lib