000 00874nam a2200301Ia 4500
003 OSt
005 20220912144406.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
020 _a9780817647629 (pbk)
020 _aSL01536081
024 _a165897
037 _b626, 29/12/2011, Aviva Books Company
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB:(R1)0bD658(B), P8-;1
100 _aSchoning Uwe
245 0 _aLogic for computer scientists
260 _aBoston
_bBirkhauser
_c1989
300 _a166p.
490 _amodern birkhauser classics
500 _aBibliography 155-160p.; Index 163-166p.
700 _aSchoning Uwe
942 _hB:(R1)0bD658(B), P8-;1
_cTEXL
_2CC
999 _c6954
_d6954