keyword فضای تایپ / (1 Article)
- Sort by
- Date
- Journal منطق پژوهی 1
-
1.
Writer : خانکی، کریم ؛
Journal:منطق پژوهی»بهار و تابستان 1399، سال یازدهم - شماره 1 Ranking ب (Ministry of Science/ISC (15 page(s) - From 17 to 31 )
Keywords:تعریفپذیریمنطق پیوستهفراضرببطور متناهی ارائهپذیرفضای تایپultraproductfinitely representabletype spacedefinabilitycontinuous logic