Ḍākṭar Muḥammad Ma̒rūf : (ڈاکٹر محمد معروف). Mant̤iq : (منطق). Qoumi Publishers, 2000.