Nagroda Betha dla Leszka Kołodziejczyka |
|
Szanowni Państwo,
z przyjemnością informuję, że nagrodę
"E. W. Beth Dissertation Prize 2006", przyznawaną za
wyróżniające się dysertacje doktorskie (od 2002 r.) przez
FoLLI -- Association for Logic, Language, and Information,
otrzymał pan dr Leszek Kołodziejczyk z Instytutu
Matematyki, za pracę "Truth Definitions and higher-Order
Logics in Finite Models".
Gratulujemy!
Damian Niwinski
lista wszystkich wątków