TY  - SER
TI  - Formalized Mathematics: a computer assisted approach
SN  - 1426-2630
PY  - 2003///-2006
CY  - Białystok
PB  - University of Białystok
ER  -