Sigma-определимость в наследственно конечных надстройках и пары моделей
Стукачев А. И.Categories:
Year:
2005
Language:
english
Pages:
23
File:
PDF, 265 KB
IPFS:
,
english, 2005