نمایش نتایج جستجو برای
نویسنده: Mohammad Ardeshir
موارد یافت شده: 4
1 - The double negation of the intermediate value theorem (چکیده)2 - A Solution to the Surprise Exam Paradox in Constructive Mathematics (چکیده)
3 - On the Constructive Notion of Closure Maps (چکیده)
4 - Decidability and Specker Sequences in Intuitionistic Mathematics (چکیده)
