RecordNumber

12605

Author

Boolos, George

Title

The unprovability of consistency; An essay in modal logic

Author Statement

George Boolos

Publication

Cambridge university

Publication Year

[c1979]

Collation

viii, 184 p

Bibliography

Bibliography: p. 180- 182

Subject

Modality (Logic) , Proof theory

Main Class

160

Cutter no

B724m

وارد كنندة اطلاعات

^d//