کلیدواژه type space / (1 مقاله)
- مرتب سازی
- تاریخ
-
1.
نویسنده : خانکی، کریم ؛
مجله:منطق پژوهی»بهار و تابستان 1399، سال یازدهم - شماره 1 رتبه: ب/ISC (15 صفحه - از 17 تا 31 )
کلیدواژه ها:تعریفپذیریمنطق پیوستهفراضرببطور متناهی ارائهپذیرفضای تایپultraproductfinitely representabletype spacedefinabilitycontinuous logic
| مجله (تعداد مقاله) |
|---|
| نشریه منطق پژوهی 1 |
کلیدواژه های مرتبط
روند انتشار مقاله
رتبه علمی
- ب (1 مقاله)