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

نتائج البحث

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

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

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

Intermediate Logics and the de Jongh property

Subjects: Intuitionistic logic; Heyting's arithmetic

  • Source: de Jongh , D , Verbrugge , R & Visser , A 2011 , ' Intermediate Logics and the de Jongh property ' , Archive for mathematical logic , vol. 50 , no. 1-2 , pp. 197-213 .

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

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