Treatise on the Syllogism, by Al-Farabi