Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] - Amsterdam : Elsevier, 1998 - v. : ill. ; 24 cm. - Studies in logic and the foundations of mathematics ; v. 138, 139 .

Includes bibliographical references and index

Vol. 1. Recursive model theory -- v. 2. Recursive algebra, analysis and combinatorics

044450107x 0444500030 0444501061


Recursion theory
Logic, Symbolic and mathematical

511.35