The formalizing of the topics in mediaeval logic. · Study