%0 Book
%A  Heinz-Dieter Ebbinghaus ; in cooperation with Volker Peckhaus.
%T Ernst Zermelo :
%U /book/90021105/Ernst-Zermelo/