The logic of provability /
Boolos, George.
Cambridge : Cambridge University Press,
1993.
Includes bibliographical references and index
Modality (Logic)
Proof theory.