000 00470nam a22001817a 4500
005 20160211150022.0
008 160211b xxu||||| |||| 00| 0 eng d
020 _a0521218799
040 _aRBU-Library
041 _aEnglish
082 _a160
_bB724
100 _aBoolos, George
245 _aThe Unprovability Of Consistency
_bAn essay in modal logic
260 _aCambridge
_bCambridge University Press
_c1979
300 _a184p.
650 _aLogic
942 _cBK
999 _c78425
_d78425