RecordNumber

30300

LC Class

BC

LC Number

199

LC CutterNumber

.M6,B66

Author

Boolos, George

Title

Unprovabilit of consistency:

Publication

Cambridge University press

Publication Year

1979

Collation

viii, 184p. ; 22 cm

Subject

Modality (Logic),Proof theory

Holding Info.

0521218799

Original By

76/08

DocumentNumber

20021

SubTitle

an essay in moda logic

BL

BL