Grant SONATA BIS przyznany dr Dorocie Leszczyńskiej-Jasion

utworzone przez | lut 21, 2018 | Aktualności, Bieżące, Granty, NCN

Miło nam poinformować, że projekt dr Doroty Leszczyńskiej-Jasion Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranymi metodami obliczeniowymi otrzymał finansowanie w kwocie 1 678 055 zł w konkursie Narodowego Centrum Nauki – SONATA BIS.

Serdecznie gratulujemy!!!

Skip to content