Showing 1 to 10 of 2 items
-
1.
Corresponding Author : خانکی، کریم ؛
Journal:منطق پژوهی»بهار و تابستان 1398، سال دهم - شماره 1 Ranking ب (Ministry of Science/ISC (15 page(s) - From 121 to 135 )
Keywords:منطق مرتبه اول کلاسیکتعریفپذیریخاصیت وابستگیهمارثپایداریStabilityOrder LogicClassical firstdefinabilitydependence propertycoheir
-
2.
Writer : خانکی، کریم ؛
Journal:منطق پژوهی»بهار و تابستان 1399، سال یازدهم - شماره 1 Ranking ب (Ministry of Science/ISC (15 page(s) - From 17 to 31 )
Keywords:تعریفپذیریمنطق پیوستهفراضرببطور متناهی ارائهپذیرفضای تایپultraproductfinitely representabletype spacedefinabilitycontinuous logic