000 00687nam a2200265Ia 4500
003 OSt
005 20220912151239.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a28879
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB25, M1
100 _aThayse Andre
245 0 _aBoolean calculus of difference
260 _aBerlin
_bSpringer Verlag
_c1981
300 _avii, 144p.
_ccm.
490 _aLecture notes in computer science; 101
650 _a Higher algebra
650 _aMathematics
942 _hB25, M1
_cTEXL
_2CC
999 _c64434
_d64434