An Introduction to Ordinal Analysis
| When |
2007-09-20 15:30
2007-09-20 17:00
2007-09-20 from 15:30 to 17:00 |
|---|---|
| Where | Mehri's Hall, Math. Department |
| Contact Name | Kaveh Ghasemloo |
Ninth 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