Hours 36S Advanced Topics in Logic Prerequisite Two of PHL344H1 - PHL349H1 and permission of the instructor and Department (by ballot)