SMS: Institutiones logicae :