Poprzednia strona
Rekrutacja 2022/23
M. Schroeder
On the computer - checked solution of the Kuratowski closure - complement problem
30 Years of Mizar, Białowieża, Poland, Sep 18, 2004
University of Białystok, Białystok University of Technology (org.)