Export Mendeley
＜Book＞
The unprovability of consistency : an essay in modal logic
| Responsibility | George Boolos |
|---|---|
| Material Type | Book |
| Publication | Cambridge ; New York : Cambridge University Press , 1979 |
| Language | English |
| Size | viii, 184 p. ; 22 cm |
| Abstract | The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. |
Holdings
| Status | Volume | Location | Call No. | Printed | Collection Name | Barcode No. | Comments | Reserve | Copy | Automatic archive |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
Central Library 2C_1‐14 | 哲学/402/931 | 1979 |
|
005232003114434 |
|
|||
|
|
: paperback | SciTech 3F Mathematical Books | BOOL/20/3 | 1979 |
|
023212009000123 |
|
Bibliographic details
| Notes | Bibliography: p. 180-182 Includes index "This digitally printed version 2008" T.p. verso |
|---|---|
| Authors | *Boolos, George |
| Subjects | LCSH:Modality (Logic) LCSH:Proof theory |
| Classification | LCC:BC199.M6 DC:160 |
| ID | 1000907022 |
| ISBN | 0521218799 |
| NCID | BA00989199 |
| Vol | : hardback ; ISBN:0521218799 : paperback ; ISBN:9780521092975 |
| Created Date | 2009.09.16 |
| Modified Date | 2009.11.02 |