000 00519nam a2200217Ia 4500
003 OSt
005 20220928140004.0
006 a|||||r|||| 00| 0
007 ta
008 220927b |||||||| |||| 00| 0 eng d
024 _a5949
037 _cTextual
040 _aSDCL
_cSDCL
_beng
041 _2eng
_aeng
082 _aB2:(R1), K2
100 _aHalmos Paul R
_9373907
245 0 _aAlgebraic logic
260 _c1962
942 _hB2:(R1), K2
_cTEXL
_2CC
999 _c809328
_d809328