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