Ershov, Yu. L. 1977.
“Constructions ‘by Finite’ .” in
Logic, Foundations of Mathematics, and Computability Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975, edited by Robert E.
Butts and Jaakko
Hintikka, pp. 3–10.
The University of Western Ontario Series in Philosophy of Science n. 9. Dordrecht: D. Reidel Publishing Co.
Ershov, Yu. L.,
Goncharov, S. S.,
Nerode, Anil,
Remmel, J. B. and
Marek, Wictor W., eds. 1998a.
Handbook of Recursive Mathematics, volume 1: Recursive Model Theory.
Studies in Logic and the Foundations of Mathematics n. 138. Amsterdam: North-Holland Publishing Co.
Ershov, Yu. L.,
Goncharov, S. S.,
Nerode, Anil,
Remmel, J. B. and
Marek, Wictor W., eds. 1998b.
Handbook of Recursive Mathematics, volume 2: Recursive Algebra, Analysis and Combinatorics.
Studies in Logic and the Foundations of Mathematics n. 139. Amsterdam: North-Holland Publishing Co.