1 citations to https://www.mathnet.ru/eng/al1915
  1. V. Yu. Shavrukov, “On two extensions of the logic of provability GL”, Math. USSR-Sb., 69:1 (1991), 255–270  mathnet  crossref  mathscinet  zmath  adsnasa  isi