teaching

sometimes i teach intro logic at ubc.

materials from this course form the basis of an ongoing project.