Computable Structures and the Hyperarithmetical Hierarchy (Studies in Logic and the Foundations of Mathematics)
Publisher: Elsevier Science
Published: May 1, 2000
Language: eng
Number of pages: 366
ISBN-13: 9780444500724
First sentence: The intuitive notion of an effective procedure for answering a class of questions pervades all of mathematics.