TY  - BOOK
AU  - Boolos George
TI  - <The>Logic of provability by George Boolos
SN  - 0521483255 (pbk)
U1  - B:(R1), N3 
PY  - 1993///
CY  - Cambridge
PB  - Cambridge University Press       
KW  -  Logic
KW  - Mathematics
N1  - Bibliography 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
ER  -