The Logic of provability
By: Geaorge Boolos.
Publisher: Cambridge University Press
Published: 1993
Place of publication: Cambrdige
Language: eng
Number of pages: 275
Subjects: Modality (Logic); Proof theory.
Notes: Includes bibliographical references and index.