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
22 kwi 2013
8 kwi 2013
159
166
https://pbc.biaman.pl/publication/25092
Nazwa wydania | Data |
---|---|
2004, Formalized Mathematics 2004 nr 2 | 22 kwi 2013 |