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