IntroLogic is a Stanford-developed curriculum that can be taught as a standalone course or embedded in a course. The course is suitable for grades 9-12. It addresses the Data and Analysis & Algorithms and Programming concepts in the CSTA Teaching Framework. The course has been approved for “g” credit in California schools. The course is well-tested as it has been taught at Stanford University for over twenty years, and it is now offered as a MOOC that has attracted over 625,000 enrolled students. The topics covered include propositional logic, relational logic, deduction, and proofs.