mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Exams » 2012-2013 » final exam: Λ13Ξ. Intuitionistic logic and constructive mathematics on 2013-07-01

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

You must be logged in to comment.

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.