Introduction to Model Theory
| When |
2007-06-27 15:30
2007-06-27 17:00
2007-06-27 from 15:30 to 17:00 |
|---|---|
| Where | Mehri's Hall, Math. Department |
Forth 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