Let Do Some Logic
| When |
2007-06-11 15:30
2007-06-11 17:00
2007-06-11 from 15:30 to 17:00 |
|---|---|
| Where | Room 201, Math. Department |
| Contact Name | Behzad Khazaie |
| Contact Email | khazaie@clipper.ens.fr |
Sixth 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