Handbook of recursive mathematics / Yu.L. ErshovHandbook of recursive mathematics / Yu.L. ErshovRecursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski ; [transl. from the Polish]Abstraction and computation : type theory, algebraic structures, and recursive functions / Venanzio CaprettaHandbook of recursive mathematics / Yu.L. ErshovHandbook of recursive mathematics / Yu.L. ErshovConstructivity and computability in historical and philosophical perspective / Jacques Dubucs, Michel Bourdeau, editorsThe Kleene symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / ed. by Jon Barwise, H. Jerome Keisler [and] Kenneth Kunen