Igor Walukiewicz

Monadyczna logika drugiego rzędu a rachunek Mi (Monadyczna logika drugiego rzędu a rachunek Mi)

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Status

Przyznana

Data nadania

24 września 2001

Recenzenci

prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Lech Pacholski (Uniwersytet Jagielloński w Krakowie); prof. dr hab. Paweł Urzyczyn; prof. Wolfgang Thomas (RWTH Aachen, Niemcy)