The course Ma 210: Logic, Types and Spaces will start in January 2015. For a description and related resources, please visit the course home page