Poprzednia strona
Rekrutacja 2022/23
Z. Sadowski
Building algebraic models of logics within Mizar Mathematical Library
26th International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, Sep 25-27, 2017
Humboldt University, Warsaw University (org.)