Электронный каталог: Dyckhoff, Roy - Geometrisation of first-order logic