The book of sayings, the book of measurement, the book of proof "Ibn Rushd text summarizing Aristotle's logic"