000 00394nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a0521708777
082 _a510.8 K23
100 _aKAYE,R
245 0 _aMATHEMATICS OF LOGIC:GUIDE TO COMPLETENCE THEOREMS AND THEIR APPLICATIONS
260 _aCambridge
_bCambridge University Press
_c2007
300 _axii+204p.,23x15cms.
942 _cBK
_2DDC
999 _c33043
_d33043