The logic of provability

Author(s)

• Boolos, George

Bibliographic Information

The logic of provability

George Boolos

Cambridge University Press, 1995

1st paperback ed

Note

Includes bibliographical references (p. [262]-269) and index

Details

• NCID: BA2606440X
• ISBN:
  • 0521483255
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, U.K. ; New York
• Pages/Volumes: xxxvi, 275 p.
• Size: 23 cm
• Classification:
  • LCC : BC199.M6
  • DC20 : 160
  • NDLC : H35
• Subject Headings:
  • LCSH : Modality (Logic)
  • LCSH : Proof theory