000 00945nam a2200289Ia 4500
003 OSt
005 20220912150107.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
020 _a0521483255 (pbk)
024 _a4802
037 _bSelectbook,
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB:(R1), N3
100 _aBoolos George
245 0 _a<The>Logic of provability by George Boolos
260 _aCambridge
_bCambridge University Press
_c1993
300 _axxxvi, 275p
500 _aBibliography 262-269p; Index 271-275p; ^n23/CSL/B/97-98/6023^d1998-02-13^mPurchase; ; 97-98/317^b1998-02-20^c39292/2/98^d1998-02-19^eSelectbook Service Syndicate; ; 1998-03-03^bSB^c1998-08-03^r1998-09-22
650 _a Logic
650 _aMathematics
942 _hB:(R1), N3
_cTEXL
_2CC
999 _c39445
_d39445