000 00461pam a2200145a 44500
008 160408b2007 xxu||||| |||| 00| 0 eng d
020 _a9780521708777
082 _a511.3
_bK182m
100 _aKaye, Richard
245 1 _aThe mathematics of logic
_ca guide to completeness theorems and their applications
260 _aCambridge
_bCambridge University Press
_c2007
300 _axi, 204p.
650 _aLogic, Symbolic And Mathematical
997 _aA160126 C
999 _c359289
_d359289