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
May 4, 2023
Apr 8, 2013
120
144
https://pbc.biaman.pl/publication/25119
| Edition name | Date |
|---|---|
| 2002, Formalized Mathematics 2002 nr 2 | May 4, 2023 |