Provably true sentences across axiomatizations of Kripke's theory of truth
scientific article; zbMATH DE number 6855869
scientific article