Title: The Logic of provability
First published: 1993
Subjects: Modality (Logic), Proof theory, Probabilities
LC classification: BC199.M6 B65 1993