The unprovability of consistency : an essay in modal logic /

Bibliographic Details

Main Author:	Boolos, George
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1979.
Subjects:	Modality (Logic) Proof theory.