Електронний каталог: Fehm, Arno - Existential ∅-definability of henselian valuation rings