RecordNumber

95509

Author

Boolos, George

Title

The logic of provability

Author Statement

George Boolos

Publication

Cambridge : Cambridge University

Publication Year

c1993

Collation

xxxvi, 275 p.

Index

Includes index

Bibliography

p. [262]- 269

Subject

Modality (Logic) , Proof theory

ADDED ENTRIES

TI

Main Class

160

Cutter no

B724l

ISBN

0-521-48325-5

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

شيرين السادات خليفه سلطاني