"Symbolic calculation and constructive mathematics" - читать интересную книгу автора (Elvey J.S.N.)