MSc thesis of Αναστασία-Μαρία Φασούλη
Modal Logic and Provability
Supervisor: Κωνσταντίνος Δημητρακόπουλος
Defended: 01 Ιουλίου 2007.mpla.math.uoa.gr |
|
You are here: Theses » MSc » Αναστασία-Μαρία Φασούλη |
Supervisor: Κωνσταντίνος Δημητρακόπουλος
Defended: 01 Ιουλίου 2007.