Электронный каталог: Beeson, Michael - Herbrand’s theorem and non-Euclidean geometry