000 00417pam a2200157a 44500
008 160408b1974 xxu||||| |||| 00| 0 eng d
082 _a517.5
_bB644
100 _aBoolos, George
245 1 _aCOMPUTABILITY AND LOGIC
260 _aLondon
_bCambridge University Press
_c1974
300 _a262
650 _aLogic, Symbolic And Mathematical
700 _aJeferey, Richard
964 _gCIRC
997 _aA45918 C
999 _c257728
_d257728