Logic and Language in Ancient Greek Texts (INTEG 230 and INTEG 231)