Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

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

Subject : constructive mathematics

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$.

Authors : Kawai, Tatsuji¹ (AUTHOR)

Source: Mathematical Logic Quarterly. Aug2023, Vol. 69 Issue 3, p370-391. 22p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Intuitionistic weak arithmetic.

Authors : Moniri, Morteza^1,2

Source: Archive for Mathematical Logic. Nov2003, Vol. 42 Issue 8, p791-176. 6p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Provably recursive functions of constructive and relatively constructive theories.

Authors : Moniri, Morteza¹

Source: Archive for Mathematical Logic. Apr2010, Vol. 49 Issue 3, p291-300. 10p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

On Weak Markov's Principle.

Authors : Kohlenbach, Ulrich¹

Source: Mathematical Logic Quarterly. Oct2002 Supplement 1, Vol. 48, p59-65. 7p.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي