Title: The unprovability of consistency
First published: 1979
Subjects: Modality (Logic), Proof theory, Modality (logic)
LC classification: BC199.M6 B66