The Resource The logic of provability, George Boolos

The logic of provability, George Boolos

Label
The logic of provability
Title
The logic of provability
Statement of responsibility
George Boolos
Creator
Subject
Language
eng
Dewey number
160
Index
index present
LC call number
BC199.M6
LC item number
B65 1993
Literary form
non fiction
Nature of contents
bibliography
Label
The logic of provability, George Boolos
Publication
Bibliography note
Includes bibliographical references (p. [262]-269) and index
http://library.link/vocab/branchCode
  • zbnus
  • glg
Contents
1. GL and other systems of propositional modal logic -- 2. Peano arithmetic -- 3. The box as Bew(x) -- 4. Semantics for GL and other modal logics -- 5. Completeness and decidability of GL and K, K4, T, B, S4, and S5 -- 6. Canonical models -- 7. On GL -- 8. The fixed point theorem -- 9. The arithmetical completeness theorems for GL and GLS -- 10. Trees for GL -- 11. An incomplete system of modal logic -- 12. An S4-preserving proof-theoretical treatment of modality -- 13. Modal logic within set theory -- 14. Modal logic within analysis -- 15. The joint provability logic of consistency and [omega]-consistency -- 16. On GLB: The fixed point theorem, letterless sentences, and analysis -- 17. Quantified provability logic -- 18. Quantified provability logic with one one-place predicate letter
Control code
000009734105
Dimensions
24 cm
Extent
xxxvi, 275 p.
Isbn
9780521433426
Isbn Type
(hardback)
Lccn
92043610
http://library.link/vocab/recordID
.b1646722x
System control number
  • (OCoLC)27172726
  • rmr7076769

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...