Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-1 ل  1 نتائج ل ""boole""

فلترة النتائج

إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Decidability in Intuitionistic Type Theory is Functionally Decidable.

  • Source: Mathematical Logic Quarterly. 1996, Vol. 42 Issue 1, p300-304. 5p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-1 ل  1 نتائج ل ""boole""