Αποστολή με SMS: Κατηγορική λογική Α' τάξης : καρτεσιανές και ομαλές θεωρίες