"Seidenberg A. Decision method for elementary algebra (Ann.Math. 1954)(T)(11s).djvu" - читать интересную книгу автора