Computable structures and the hyperarithmetical hierarchy
By: C.J. Ash, J. Knight
Contributors: Knight, J.
Edition: 1st ed
Series: Studies in logic and the foundations of mathematics -- v. 144
Publisher: Elsevier
Published: 2000
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 346
Subjects: Computable functions
Notes: Includes bibliographical references (p. 323-333) and index