000 00494nam a2200181Ia 4500
001 55627
008 240126s9999||||xx |||||||||||||| ||und||
020 _cRS 1584.00 (UKP 20.00)
037 _cRS 1584.00 (UKP 20.00)
082 _a510 KAY
100 _aKaye, Sanford
_934491
245 0 _aMathematics of logic: A guide to completeness theorems and their applications
260 _aCambridge
260 _bCambridge University Press
260 _c2007
300 _axi, 204p.
942 _cBK
999 _c55627
_d55627