MA.912.LT: High School: Logic and Discrete Theory