Undergraduate Courses (UoP)
Computability and Complexity
Discrete and Combinatorial Mathematics
Graduate Courses
Modal Logic (@mpla) [Spring 2015]
Mathematical Logic (@mpla) [Spring 2016]
Advanced Topics in Knowledge Representation (UoP)