Poprzednia strona
Rekrutacja 2022/23
C. Bagiński
Mizar: a formal logical-algebraic approach to mathematics
7th European Congress of Mathematics, Berlin, Germany, Jul 17-23, 2016
European Mathematical Society (org.)
