000 00561nam a22001937a 4500
999 _c1330
_d1330
008 230119b xxu||||| |||| 00| 0 eng d
020 _a9780817647629
037 _fPB
082 _223
_a511.3
_bSCH
100 _aSchöning, Uwe
245 _aLogic for Computer Scientists
_c by / Schöning, Uwe
260 _aGermany
_bModern Birkhäuser Classics
_c2008
300 _a166
_c24cm
546 _aEnglish
653 _aLogic, Symbolic and mathematical | Logic programming | Computer science
658 _bCSE-IT
700 _aSchöning, Uwe
942 _2ddc
_cBKS