Contemporary Truth Theories
| When |
2007-06-04 15:50
2007-06-04 17:00
2007-06-04 from 15:50 to 17:00 |
|---|---|
| Where | Room 201, 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