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)