000 00375nmm a2200133Ia 4500
008 230125s9999||||xx |||||||||||||||||und||
020 _a9780817647636
100 _aUwe Schöning
245 0 _aLogic for Computer Scientists
250 _a1989
260 _bBirkhäuser Boston
_c2008
650 _aMathematics and Statistics
856 _uhttps://doi.org/10.1007/978-0-8176-4763-6
999 _c4092
_d4092