Courses for 1996-1997, spring semester
required
- Λ1. Mathematical logic (Dimitracopoulos)
- Λ2. Computability (Moschovakis)
- Λ3. Algorithms and complexity I (Kirousis)
elective required
- Μ6. Set theory (Tsarpalias)
You are here: Courses » 1996-1997 » spring semester |