Quantitative and Symbolic Reasoning Elective

3-4 credits
Link to the main site.