The unprovability of consistency an essay in modal logic
Boolos, George.
Cambridge Cambridge University Press
1979
Bibliography: p.180-182. - Includes index
Proof theory.
Modality (Logic)