Chudnovskij, G. V. Diophantische Prädikate. (Russian) Zbl 0197.28105 Usp. Mat. Nauk 25, No. 4(154), 185-186 (1970). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Keywords:recursion theory, constructive mathematics PDF BibTeX XML Cite \textit{G. V. Chudnovskij}, Usp. Mat. Nauk 25, No. 4(154), 185--186 (1970; Zbl 0197.28105)