On predicate provability logics and binumerations of fragments of Peano arithmetic
scientific article; zbMATH DE number 6223054