000 00380nam a2200133 i 4500
001 bg
100 1 _aTIURYN, Jerzy
245 0 _aM-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programów /
_cJerzy Tiuryn.
260 _aWarszawa,
_c1977.
040 _cBPK
041 _apol
942 _cKS
008 s pl f |000 0 pol
999 _c17474
_d17474
856 _uhttp://koha.tu.koszalin.pl/cgi-bin/koha/opac-detail.pl?biblionumber=17474
_yKatalog online BPK