Text this: Arabic Logic from al-Fārābī to Averroes