Электронный каталог: Jahnke, Franziska - Definable henselian valuations