Products Handbook of Recursive Mathematics Book information Product description Author information and services Ordering information Bibliographic information Conditions of sale Volume information Volume 1 Volume 2 Book-related information Submit your book proposal Other books in same subject area Support & contact About Elsevier Select your view

	HANDBOOK OF RECURSIVE MATHEMATICS Volume 1: Recursive Model Theory Included in series Studies in Logic and the Foundations of Mathematics, 138 Contents Introduction to the Handbook of Recursive Mathematics (Yu.L. Ershov, S.S. Goncharov, A. Nerode, J.B. Remmel). Pure computable model theory (V.S. Harizanov). Elementary theories and their constructive models (Yu.L. Ershov, S.S. Goncharov). Isomorphic recursive structures (C.J. Ash). Computable classes of contructive models (V.P. Dobritsa). Σ-Definability of algebraic structures (Yu.L. Ershov). Autostable models and algorithmic dimensions (S.S. Goncharov). Degrees of models (J.F. Knight). Groups of computable automorphisms (A.S. Morozov). Constructive models of finitely axiomatizable theories (M.G. Peretyat'kin). Complexity theoretic model theory and algebra (D. Cenzer, J.B. Remmel). A bibliography of recursive algebra and recursive model theory (I. Kalantari). A bibliography of recursive analysis and recursive topology (V. Brattka, I. Kalantari). Bibliographic & ordering Information Hardbound, 664 pages, publication date: DEC-1998 ISBN: 0-444-50003-0 Imprint: NORTH-HOLLAND Price and Ordering Price: EUR 129 USD 147 Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas. EUR prices apply in Europe. GBP prices apply to the UK and all other countries. Customers who order on-line from the Americas will be invoiced in USD and all other countries will be invoiced in GBP. See also information about conditions of sale & ordering procedures, and links to our regional sales offices.