000 00263nam a22001217a 4500
008 181207b xxu||||| |||| 00| 0 eng d
041 _aeng
080 _a510
100 _a36
101 _aMAT
245 _aMathematical logic
_cShoenfield, J.R
942 _2udc
_cBK
999 _c53043
_d53043