Recursive model theory /
Other Authors: | |
---|---|
Format: | Book |
Published: |
Amsterdam:
Elsevier Science B.V,
c1998
|
Series: | Studies in logic and the foundations of mathematics ;
vol. 138 |
Subjects: |
Item Description: | S. S. Goncharov, A. Nerode, J. B. Remmel, V. W. Marek. |
---|---|
Physical Description: | xlvi, 620 p. : diagrams. ; 23 cm. |
Bibliography: | Includes bibliographical references. |
ISBN: | 0444500030 |