Мухаметшина И. Выразительные возможности λ-оператора и поссибилистских кванторов в модальных логиках первого порядка. Analytica [Internet]. 2023 Sep. 11 [cited 2024 Nov. 21];8:90–103. Available from: https://analytica-journal.ru/index.php/analytica/article/view/65