- PER LINDSTRöM, “Provability logic—a short introduction”, Theoria, 62, no. 1-2, 1996,
19 
- Lev Beklemishev, Albert Visser, 4, Mathematical Problems from Applied Logic I, 2006,
77 - Фeдор Николаевич Пахомов, Fedor Nikolaevich Pakhomov, “Неразрешимость элементарной теории полурешетки
$\mathrm{GLP}$ -слов”, Матем. сб., 203, no. 8, 2012,141 - Lev Beklemishev, Tommaso Flaminio, “Franco Montagna’s Work on Provability Logic and Many-valued Logic”, Stud Logica, 104, no. 1, 2016,
1