Treatise on Logic Francis Bowen Hadi Sabzavari Lubābu l-Muhassal Maimonides Maimonides Moses ibn Tibbon Summa Totius Logicae William of Ockham