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.