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

Davis M. [1973] Hilbert’s tenth problem is unsolvable Amer. Math. Monthly, 80, № 3, 233-269 73.09.68 OS article Вернуться к поиску

Davis M. [1959] Computable functionals of arbitrary finite types Constructivity in Mathematics, North-Holland, 281-284 ? O article Вернуться к поиску

Davis M. [1966] Diophantine equations and recursively enumerable sets Automata theory, Acad. Press, 146-152 67.02.135 article Вернуться к поиску

Davis M. [1958] Computability and unsolvability McGraw Hill, N.Y. 60.8539 SOR book Вернуться к поиску

Davis M. [1974] Computability Courant Institute Lecture Notes, N.Y., University ? O book Вернуться к поиску

Davis M., Weyuker E. [1983] Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science Academic Press, N.Y. 85.Г10.1 S book Вернуться к поиску

Davis M. [1965] Computability Proc. Symp. System. Theory, NY, (New York, 1962), Brooklyn, NY, Polytech. Press, 127-131 68.В4.477 article Вернуться к поиску

Davis M. [1953] Arithmetical problems and recursively enumerable predicates J. Symbolic Logic, 18, № 1, 33-41 (Русский перевод в сб. Математика , 1964, 8, № 5, 15-22.) 54. 1532 article Вернуться к поиску

Davis M. (ed.) [1965] The Undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions Raven Press, Hewlitt, N.Y. ? OS book Вернуться к поиску

Davis M. [1963] Unsolvable problems. A review Proc. Symp. Math. Theory Automata, (New York, 1962), Brooklyn, NY, Polytechn. Press, 15-22 64.10.75 article Вернуться к поиску

Davis M., Putnam H. [1958] Reductions of Hilbert’s tenth problem J. Symbolic Logic, 23, № 2, 183-187 (Русский перевод в сб. Математика , 1964, 8, № 5, 49-54.) 60.1250 article Вернуться к поиску

Davis M. [1963] Extensions and corollaries of recent work on Hilbert’s tenth problem Ill. J. Math., 7, № 2, 246-250 (Русский перевод в сб. Математика , 1964, 8, № 5, 80-84.) 64.03.55 article Вернуться к поиску

Davis M. [1977] Unsolvable problems Handbook of Mathematic Logic, p. D, North-Holland, 567-594 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. –ред.), М., ...

Davis M. [1962] Applications of recursive function theory to number theory Recursive Function Theory, Proc. Symp. Pure Math., 5, Amer. Math. Soc., Providence, RI, 135-138 68.05.70 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 Вернуться ...

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....

D Daley R.P. Dańko W. Davey K. Davis M. Dawes A.M. Degtev A.N. Dekker J.C.E. Demuth O. Dennis-Jones E.G. Di Paola R.A. Dietzfelbinger M. Ding Decheng Ditchev A.V. Dobrinen N. Dobritsa V. P. Doner J. Dougherty R. Downey R. Dreben B. Driscoll G. C. Jr. Вернуться на главную ...