The modal logic of provability. The sequential approach
scientific article; zbMATH DE number 3827828
scientific article