final exam: Λ13Ξ. Intuitionistic logic and constructive mathematics on 2013-07-01
| Course: | Λ13Ξ. Intuitionistic logic and constructive mathematics (2012-2013, spring semester) |
|---|---|
| Exam type: | final exam |
| Results: | published at 2013-7-04, 13:52 |
| Date: | Monday, 01 Jul 2013 |
| Time: | 12:00-15:00 |
| Location: | Univeristy of Athens, Department of Mathematics, University of Athens, Α12 |
Comments