Rabin M. ...

News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software

10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

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

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