The logic of provability

Bibliographic Details
Main Author:	Boolos, George (Author)
Format:	Book
Language:	English
Published:	Cambridge, England Cambridge University Press 1993.
Subjects:	Modality (Logic) Proof theory.