"Richardson. Elimination of infinitesimal quantifiers (JPAA 1999)(19s).djvu" - читать интересную книгу автора