MSc thesis of Γεώργιος Ζήκος
An introduction to dynamic logic
Supervisors: Κωνσταντίνος Δημητρακόπουλος, Κωνσταντίνος Δ. Κούτρας
Defended: 01 Δεκεμβρίου 2006.mpla.math.uoa.gr |
|
You are here: Theses » MSc » Γεώργιος Ζήκος |
Supervisors: Κωνσταντίνος Δημητρακόπουλος, Κωνσταντίνος Δ. Κούτρας
Defended: 01 Δεκεμβρίου 2006.