CPSC 3010

Theoretical Computer Science and Mathematical Logic

https://ufred.ca/courses/cpsc-3010/

Course description

More information coming soon.