William of Sherwood’s Introduction to Logic