01432nam1 2200385 450 99000334612020331620091110120342.0000334612USA01000334612(ALEPH)000334612USA0100033461220091110d19..----km-y0itay50------baengUS||||||||001yyProceedings of the steklov Institute of MathematicsEdited by Petrovskii and S. M. Nikol'skiiProvidenceAmerican mathematical society19..v.26 cmMatematica510PETROVSKII,I. G.NIKOL'SKII,S. M.ITsalbcISBD990003346120203316510 PSIM/CBS510BKSCIRSIAV69020091110USA011203Proceedings of the Steklov Institute of Mathematics790944UNISA0019900032268902033162001 Defining relations and algorithmic problems for groups and semigrouops0019900032269302033162001 Boundary problems for differential equations0019900032269502033162001 <<The>> calculi of symbolic logic0019900032269802033162001 Topological imbeddings in Euclidean space0019900032270102033162001 Theory and applications of differentiable functions of several variables