Copyright

Copyright © 1967 by Stephen Cole Kleene

All rights reserved.

Bibliographical Note

This Dover edition, first published in 2002, is an unabridged republication of the work originally published in 1967 by John Wiley & Sons, Inc., New York.

Library of Congress Cataloging-in-Publication Data

Kleene, Stephen Cole, 1909-

Mathematical logic / Stephen Cole Kleene.

p. cm.

Originally published: New York : Wiley, 1967.

Includes bibliographical references and index.

ISBN 0-486-42533-9 (pbk.)

1. Mathematics—Philosophy. 2. Logic, Symbolic and mathematical.

I. Title.

QA9.A1 K54 2002

511.3—dc21

2002034823

Manufactured in the United States of America

Dover Publications, Inc., 31 East 2nd Street, Mineola, NY. 11501