💬 Hi! Want to know more about “On Provability Logic of Heyting Arithmetic- Mojtaba Mojtahedi”? I’m here to guide you.