 |
 |
|
|
|
|
Math
782 — Spring 2002
|
| Instructor: | Anil Nerode |
| Time: | TR 2:55-4:10 |
| Room: | Malott 206 |
The seminar will be roughly half talks by participants and vistors on topics of their choosing, and half on classical and modern proof theory as practiced by Girard.
Last modified: April 7, 2003
