1 citations to https://www.mathnet.ru/rus/danma422
  1. Mikhail Rybakov, Dmitry Shkatov, “Variations on the Kripke Trick”, Stud Logica, 2024  crossref