000 00214nam a2200097 4500
008 160616s 000 0
245 _aMathematical logic
100 _aDavis, M
942 _cBK
_2BK11622
080 _aCI 20
999 _c11622
_d11622