Part-time instructor sought to teach an in-person undergraduate Logic course for Fall 2026. Course covers formal languages, syntax, semantics, pragmatics, varieties of logical systems, and foundations of programming languages. Three-credit, two sections.