Yuri L. Ershov. Definability and computability. English translation of Opredelimost′ i vychislimost′. Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1996, xiv + 264 pp.
Ivan N. Soskov · Journal of Symbolic Logic · 1998
Yuri L. Ershov. Definability and computability. English translation of Opredelimost′ i vychislimost′ . Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1996, xiv + 264 pp. - Volume 63 Issue 2