Boethius: De syllogismis categoricis [On the categorical syllogism]