Hilbert's Program
| When |
2007-05-23 14:00
2007-05-23 15:30
2007-05-23 from 14:00 to 15:30 |
|---|---|
| Where | Room 201, Math. Department |
First Seminar on Mathematical Logic and Philosophy of Mathematics
In case you are not using an appropriate plug-in, click here to download the above content…
Constructive Type Theory