A Lopez-Escobar theorem for continuous domains › Обзор исследований

DOI

https://doi.org/10.1017/jsl.2024.18
Конечная издательская версия

Nikolay Bazhenov
Ekaterina Fokina
Dino Rossegger
Alexandra Soskova
Stefan Vatev

Язык оригинала	английский
Журнал	Journal of Symbolic Logic
DOI	https://doi.org/10.1017/jsl.2024.18
Состояние	Опубликовано - 2024

Предметные области OECD FOS+WOS

1.01 МАТЕМАТИКА

ID: 60477163