Gerald B. Folland
Brad G. Osgood (Chair)
2000 Mathematics Subject Classification. Primary 03Dxx;
For additional information and updates on this book, visit
Library of Congress Cataloging-in-Publication Data
Weber, Rebecca, 1977–
Computability theory / Rebecca Weber.
p. cm. — (Student mathematical library ; v. 62)
Includes bibliographical references and index.
ISBN 978-0-8218-7392-2 (alk. paper)
1. Recursion theory. 2. Computable functions. I. Title.
Copying and reprinting. Individual readers of this publication, and nonprofit
libraries acting for them, are permitted to make fair use of the material, such as to
copy a chapter for use in teaching or research. Permission is granted to quote brief
passages from this publication in reviews, provided the customary acknowledgment of
the source is given.
Republication, systematic copying, or multiple reproduction of any material in this
publication is permitted only under license from the American Mathematical Society.
Requests for such permission should be addressed to the Acquisitions Department,
American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-
2294 USA. Requests can also be made by e-mail to email@example.com.
c 2012 by the American Mathematical Society. All rights reserved.
The American Mathematical Society retains all rights
except those granted to the United States Government.
Printed in the United States of America.
∞ The paper used in this book is acid-free and falls within the guidelines
established to ensure permanence and durability.
Visit the AMS home page at http://www.ams.org/
10 9 8 7 6 5 4 3 2 1 17 16 15 14 13 12