PP-2021-03: Johan van Benthem An Abstract Look at the Fixed-Point Theorem for Provability Logic 1.Full Text, 2.Abstract. < Back
