The logic of provability
By: George Boolos.
Publisher: Cambridge University Press
Published: 1993
Place of publication: Cambridge [England]; New York, NY, USA
Language: eng
Number of pages: 275
Subjects: Modality (Logic); Proof theory.
Notes: Includes bibliographical references (p. [262]-269) and index.