Topological Interpretations of Provability Logic
scientific article; zbMATH DE number 6447796
scientific article