From 1996 r. published by University of Bialystok ; From 1990 to 1993 published by Universite Catholique de Louvain, Belgia
Biblioteka Uniwersytecka im. Jerzego Giedroycia w Białymstoku
4 maj 2023
8 kwi 2013
171
184
https://pbc.biaman.pl/publication/25122
| Nazwa wydania | Data |
|---|---|
| 2003, Formalized Mathematics 2003 nr 2 | 4 maj 2023 |