Rabin M. ...


Rabin M.
[1962]
Diophantine equations and non-standard model of arithmetic
Proc. I Inter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 151-158 (Русский перевод в сб. “Математическая логика и ее применения”, (Мальцев А.И.- ред.), М., Мир, 1965, 176-184.)
65.09.74
article

Вернуться к поиску