Ioannis Souldatos: student profile
msc
| Enrolled in: | October 2000 |
|---|---|
| Graduated on: | Monday, 26 Sep 2005 |
Thesis
Title: Propositional proof complexity.
Defended: Monday, 01 Jul 2002.
seminars given
| date | title | |
|---|---|---|
| 2010/06/25 | Infinitary logic and characterizable cardinals | |
| 1 seminar. | ||