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

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

Hilbert D., Ackermann W. [1946] Grundzüge der Theoretishen Logik Springer (Имеется русский перевод) ~ book Вернуться к поиску

Hilbert D., Bernays P. [1968] Grundlagen der Mathematik, I Springer (Имеется русский перевод) 69.05.36 RO book Вернуться к поиску

Hilbert D., Bernays P. [1970] Grunlagen der Mathematik, II Springer (Имеется русский перевод) 71.04.75 RO book Вернуться к поиску

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

Matiyasevich Yu. [2005] Hilbert’s tenth problem and paradigms of computation Lect. Notes in Comp. Sci., 3526, 310-321 ? article Вернуться к поиску

Гильберт Д., Бернайс П., [1982] Основания математики. Теория доказательств М., Наука (Перевод книги Hilbert D., Bernays P. “Grunlagen der Mathematik, II,” 1970.) 83.0115. книга Вернуться к поиску

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 Вернуться к поиску

Jones J.P., Matijasevich Yu.V. [1991] Proof of recursive unsolvability of Hilbert’s tenth problem Amer. Math. Monthly, 98, № 8, 689-709 92.09.60 article Вернуться к поиску

Matiyasevich Yu. V. [2000] Hilbert’s tenth problem: what was done and what is to be done Contemporary Math., 270, 1-47 05.08.151 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 Вернуться к поиску

Matijasevich Yu. V. [1973] On recursive unsolvability of Hilbert’s tenth problem Proc. IV Inter. Congress Logic, Methodology, Philosophy Sci.,, (Bucharest, 1971), 74, North-Holland, 89-100 ? article Вернуться к поиску

Гильберт Д., Бернайс П. [1979] Основания математики. Логические исчисления и формализация М., Наука (Перевод книги Hilbert D., Bernays P. “Grundlagen der Mathematik, I” , 1968.) 80.05.32; 83.07.43 книга Вернуться к поиску

... Haas R. Hâjek P. Hammond T. Harizanov V.S. Harley J.P. Harrington L.A. Harrison J. Harrop R. Harrow K. Hartmanis J. Haught C.A. Hay L. Heaton A.J. Hebeison F. Hecker H.D. Heidler K. Heller A. Helm J.P. Hemachandra L. Hensel G. Hermes H. Herrmann E. Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L. Hjorth G. HoKe Hodes H. T. HodgesA HodgesW Hodgson B.R. Homer S. Hopcroff J.E. Hořejš J. Horowitz B.M. HowardWA Hrbacek K. Hu Shin hua Hughes C.E. Hugill D. Hummel T. Huwig H. Hyland J....