شرح تجريد القواعد

This is Allamah Akmal ad-Din al-Babarti's detailed sharh on Tusi's Tajrid al-Qawaid.

While this is a high-level kalam work, filled with mantiq and falsafah, the language is surprisingly easy to understand. But it is definitely not for beginners; Recommended for those with some serious aqidah studies under their belts and for madrasah libraries etc.