Gianluca Griletti "Disjunction and Existence Properties in Inquisitive First-Order Logic"
НИС "Современные проблемы математической логики" Заседание 12 октября 2018
Название:
Gianluca Griletti "Disjunction and Existence Properties in Inquisitive First-Order Logic"
Категория:
Разное