The Textbook Tradition and Higher Research: Katibi's Shamsiyyah on Disputed Points in Logic