An Overview of Medieval Logic