Библиография Лаврова И.А.

Robinson J. [1968] Recursive functions of one variable Proc. Amer. Math. Soc., 19, № 4, 815-820 71.08.55 O article Вернуться к поиску

Robinson J. [1967] An introduction to hyperarithmetical functions J. Symbolic Logic, 32, № 3, 325-342 69.02.73 article Вернуться к поиску

Robinson J. [1955] Note on primitive recursive functions Proc. Amer. Math. Soc., 6, № 4 , 667-670 56.7064 O article Вернуться к поиску

Robinson J. [1950] General recursive functions Proc. Amer. Math. Soc., 1, № 6, 703-718 ~ ES article Вернуться к поиску

Robinson J. [1969] Unsolvable Diophantin problems Proc. Amer. Math. Soc., 22, № 2 , 534-538 70.04.75 article Вернуться к поиску

Robinson J. [1949] Definability and decision problems in arithmetic J. Symbolic Logic, 14, № 2, 98-114 ~ RS article Вернуться к поиску

Robinson J. [1968] Finite generations of recursively enumerable sets Proc. Amer. Math. Soc., 19, № 6 , 1480-1486 71.08.56 article Вернуться к поиску

Robinson J. [1959] The undecidability of algebraic rings and fields Proc. Amer. Math. Soc., 10, № 6, 950-957 61.03.234 G article Вернуться к поиску

Robinson J. [1952] Existential definability in arithmetic Trans. Amer. Math. Soc., 72, № 3, 437-449 (Русский перевод в сб. Математика , 1964, 8, № 5, 3-14.) ~ article Вернуться к поиску

Robinson J. [1969] Finitely generated classes of sets of natural numbers Proc. Amer. Math. Soc., 21, № 3, 608-614 70.03.80 article Вернуться к поиску

Robinson J. [1962] On the decision problem for algebraic rings Studies Math. Analysis and Related Topics, Stanford, Calif., Univ. Press, 297-304 65.03.373 article Вернуться к поиску

Matijasevič Y. V., Robinson J. [1975] Reduction of an arbitrary Diophantine equation to one in 13 unknowns Acta Arithmetica, 27, 521-553 75.11.205 article Вернуться к поиску

Davis M., Putnam H., Robinson J. [1961] The decision problem for exponential Diophantine equations Ann. Math., 74, № 3, 425-436 (Русский перевод в сб. Математика, 1964, 8, № 5, 69-79.) 62.06.58 RS 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. Вернуться на главную страницу

Robinson J. [1962] The undecidability of exponential Diophantine equations Proc. I Inter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 12-13 (Русский перевод в сб. “Математическая логика и ее применения”, (Мальцев А.И.- ред.), М., Мир, 1965, 7-8.) 65.09.57 article Вернуться к поиску

Davis M., Matijasevič Y. V., Robinson J. [1976] Hilbert’s tenth problem. Diophantine equations: positive aspects of a negative solution, Mathematical Development arising from Hilbert’s problems, Proc. Conf. on the Hilbert Problems (Ill ois, 1974), Amer. Math. Soc., Providence, R.I., 323-378 ? OS article Вернуться к поиску