The Logic of provability January 1993 Modality (Logic); Proof theory. ISBN 0521483255 View on Amazon Lists featuring this book (1)
