000 00250nam a2200109 4500
008 160616s 000 0
245 _aMathematical logic
100 _aKleene, Stephen Cole
500 _aB31 K7
942 _cBK
_2BK921
_02
080 _a510.6 KLE
999 _c921
_d921