- مقاله: چرا ریاضیات اینهمه کاربرد دارد؟ (نسخه چاپ شده)
- مقاله: اصل موضوع و تعریف در ریاضیات
- مقاله: چرا ریاضیات اینهمه کاربرد دارد؟
- مقاله (چاپ شده): آیا حساب متعین است؟
- نسخه چاپ شده: آیا حساب متعین است؟
- مقاله: آیا حساب متعین است؟
- مقاله: چند روشنگری در باب منطق
- خلاصه درس: نظریه علوم کامپیوتر
- مقاله: فرهنگ پژوهش و نشر آن در ریاضیات
- اسلاید: Bounded arithmetic