Вернуться к Подробностям о статье
Выразительные возможности λ-оператора и поссибилистских кванторов в модальных логиках первого порядка
Скачать
Скачать PDF