| Title: | Mathematical Logic: Proof Theory, Constructive Mathematics |
| Organisers: |
Samuel R. Buss, San Diego Ulrich Kohlenbach, Darmstadt Helmut Schwichtenberg, München |
| Date: | April 6th - April 12th, 2008 |
| ID: | 0815 |
| Report: |
OWR_2008_18.pdf |
view enlarged photo
see more photos