Search results

Robinson R.M. [1947] Primitive recursive functions Bull. Amer. Math. Soc., 53, № 10, 925-942 ~ EO article Вернуться к поиску

Robinson R.M. [1958] Restricted set-theoretical definitions in arithmetic Proc. Amer. Math. Soc., 9, 238-242 59.7670 article Вернуться к поиску

Robinson R.M. [1951] Arithmetical definability in the the ring of integers Proc. Amer. Math. Soc., 2, № 2, 279-284 ~ article Вернуться к поиску

Robinson R.M. [1951] Arithmetical definability of field elements J. Symbolic Logic, 16, № 2, 125-126 ~ article Вернуться к поиску

Robinson R.M. [1951] Undecidable rings Trans. Amer. Math. Soc., 70, № 1, 137-159 ~ article Вернуться к поиску

Robinson R.M. [1948] Recursion and double recursion Bull. Amer. Math. Soc., 54, № 11 , 987-983 ~ O article Вернуться к поиску

Robinson R.M. [1955] Primitive recursive functions, II Proc.Amer. Math. Soc., 6, № 4, 663-666 56.7065 O article Вернуться к поиску

Robinson R.M. [1972] Some representations of diophantine sets J. Symbolic Logic, 37, № 3, 572-578 73.05.56 article Вернуться к поиску

Robinson R.M. [1956] Arithmetical representation of recursively enumerable sets J. Symbolic Logic, 21, № 2, 162-186 (Русский перевод в сб, Математика , 1964, 8, № 5, 23-47.) 58.2680 R article Вернуться к поиску

Robinson R.M. [1964] The undecidability of pure transcendental extension of real fields Z. math. Logik und Grundl. Math., 10, № 4, 275 282 65.08.82 article Вернуться к поиску

R Rabin M. Rackoff C.W. Rao J. Reed R.C. Regan K.W. Reidel D. Reimann J. Reitwiessner C. Remmel J.B. Retzlaff A. Rice H.G. RichterL RichterW RitchieDM RitchieRW Ritter W. Robertson E.L. RobinsonA RobinsonJ RobinsonRM RobinsonRW Rogers H. Jr. RoseGF Rosenstein J. G. Rosser J. B. Routledge N.A. RoyDK Royer J. Rubel L. Rubin M. Ruzzo W.L. Ryan B.E Rybakov A.N. Вернуться на главную страницу