A. A. Markov. On the representation of recursive functions. English translation of XV 66 (2). American Mathematical Society, translation number 54. Lithoprinted. New York1951, 13 pp von Church, Alonzo

Volltext

Abelian semi-groups of expanding maps von Sacksteder, Richard

Volltext

Formality of Cyclic Chains von Willwacher, T.

Volltext

S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. (English translation by B. M. Schein of Arifmeticheski polnye modal'nye teorii , Semiotika i informatika (Moscow), vol. 14 (for 1979, pub. 1980), pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 (for 1986, pub. 1987), pp. 401–429. ( von McGee, Vann

Volltext

PP-graphics with a nilpotent elliptic singularity in quadratic systems and Hilbert's 16th problem von Rousseau, Christiane, Zhu, Huaiping

Volltext

N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in r von Kreisel, Georg

Volltext

Two papers on EXTREMAL PROBLEMS IN COMPLEX ANALYSIS (American Mathematical Society Translations (2) 129) von Anderson, J. M.

Volltext

Connecting orbits between static classes for generic Lagrangian systems von Contreras, Gonzalo, Paternain, Gabriel P.

Volltext

Selected collections -- Applied Problems of Radon Transforms (American Mathematical Society Translations, Series 2, Vol 162) edited by Simon Gindikin

Volltext

A. V. Kuznecov. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 (1966), pp. 56–72 von Yasuhara, Ann

Volltext

T. D. Majstrova. Priménénié mnogoznačnoj logiki v téorii réléjnyh shém. Priménénié logiki v nauké i téhnike, Izdaté'stvo Akadémii Nauk SSSR, Moscow1960, pp. 394–414. - T. D. Maǐstrova. Application of many-valued logics in the theory of relay networks. English translation of the preceding by Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 73–89 von Rose, Alan

Volltext

V. S. Čérnávskij. Ob odnom klassé normal′nyh algorifmov Markova. Logičéskié isslédovaniá, Sborník statéj, Izdatél′stvo Akadémii Nauk SSSR, Moskau1959, S. 263–299. - V. S. Černjavskií. On a class of normal Markov algorithms. Englische Übersetzung des Vorhergehenden, von J. M. Danskin. American Mathematical Society Translations, Folge 2, Bd. 48 (1965), S. 1–35 von Schreiber, P.

Volltext

A. V. Gladkij. O raspoznavanii zaméščaémosti v rékursivnyh ázykah. Algébra i logika, Séminar, vol. 2 no. 3 (1963), pp. 5–22. - A. V. Gladkii. On the recognition of replaceability in recursive languages. English translation of the above by M. Greendlinger. American Mathematical Society translations, ser. 2 vol. 64 (1967), pp. 81–96 von Salomaa, Arto

Volltext

A. I. Mal′cév. Régularnyé proizvédéniá modéléj. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 489–502. - A. I. Mal′cév. Regular products of models. English translation of the preceding by J. N. Whitney. American Mathematical Society translations, ser. 2 vol. 39 (1964), pp. 193–206 von Robinson, Abraham

Volltext

A. A. Mučnik. Izomorfizm sistém rékursivno péréčislimyh množéstv s efféktivnymi svojstvami. Trudy Moskovskogo Matématičéskogo Obščéstva, Vol. 7 (1958), pp. 407–412. - A. A. Mučnik. Isomorphism of systems of recursively enumerable sets with effective properties. English translation of the preceding by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 7–13 von Lachlan, A. H.

Volltext

I. N. Hlodovskij. Novoé dokazatél′stvo néprotivoréčivosti arifmétiki. Uspéhi matématičéskih nauk, vol. 14 no. 6 (1959), pp. 105–140. - I. N. Hlodovskií. A new proof of the consistency of arithmetic. English translation of the preceding by Moshe Machover. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 191–230 von Levitz, Hilbert

Volltext

A. A. Zykov. Probléma spéktra v rasširénnom isčislénii prédikatov. lzvéstiá Akadémii Nauk SSSR, sériá matématičéskaá, Bd. 17 (1953), S. 63–76. - A. A. Zykov. The spectrum problem in the extended predicate calculus. Englische Übersetzung des Vorhergehenden, von G. L. Kline. American Mathematical Society translations, 2. Reihe Bd. 3 (1956), S. 1–14 von Ackermann, Wilhelm

Volltext

Existence of Suitable Weak Solutions to the Navier–Stokes Equations for Intermittent Data von Bradshaw, Zachary, Kukavica, Igor

Volltext

Victor Borisovich Lidskii (1924-2008) von Levitin, Michael, Vassiliev, Dmitri

Volltext bestellen

The local regularity theory for the Navier-Stokes Equations Near the Boundary von Seregin, Gregory, Shilkin, Timofey

Volltext