Boolos George
Logic of provability by George Boolos
- Cambridge Cambridge University Press 1993
- xxxvi, 275p
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
0521483255 (pbk)
4802
Selectbook, Textual
Logic
Mathematics
B:(R1), N3