Characters and Fixed Points in Provability Logic. - Zachari Gleit; Warren D. Goldfarb (Notre Dame J. Formal Log., 1990)