MATH 670

Topics in Logic: Linear Logic and Game Semantics


The specific information contained in this site is for MATH670 given in the Fall semester of 2001.

First meeting: Thursday (09/06), 12:00-1:30 at DRLB 4E19.


This site is modified every week!


E. Haghverdi's Home Page


Last Updated on September 18, 2001.