<The>Logic of provability by George Boolos - Boolos George (Cambridge Cambridge University Press, 1993)
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
Keywords: Logic; Mathematics