"Rioboo. Real algebraic closure of ordered field, in Axiom (ISSAC92)(T)(10s).djvu" - читать интересную книгу автора