A new proof of the fixed-point theorem of provability logic

From MaRDI portal
Publication:923072