Smullyan R. Godel's Incompleteness Theorems 0814758169.pdf

(1970 KB) Pobierz
0195046722.pdf
743625791.001.png
OXFORD LOGIC GUIDES
General Editors
ANGUS MACINTYRE
JOHN SHEPHERDSON
DANA SCOTT
OXFORD LOGIC GUIDES
1. Jane Bridge: Beginning model theory: the completeness theorem and some
consequences
2. Michael Dummett: Elements of intuitionism
3. A. S. Troelstra: Choice sequences: a chapter of intuitionistic mathematics
4. J. L. Bell: Boolean-valued models and independence proofs in set theory
(1st edition)
5. Krister Segerberg: Classical propositional operators: an exercise in the
foundation of logic
6. G. C. Smith: The Boole-De Morgan correspondence 1842-1864
7. Alec Fisher: Formal number theory and computability: a work book
B. Anand Pillay: An introduction to stability theoy
9. H. E. Rose: Subrecursion: functions and hierarchies
10. Michael Hallett: Cantorian set theoy and limitation of size
11. R. Mansield and G. Weitkamp: Recursive aspects of descriptive set theoy
12. J. L. Bell: Boolean-valued models and independence proofs in set theory
(2nd edition)
13. Melvin Fitting: Computability theoy: semantics and logic programming
14. J. 1. Bell: Toposes and local set theories: an introduction
15. Richard Kaye: Models of Peano arithmetic
16. Jonathan Chapman and Frederick Rowbottom: Relative categoy theoy
and geometric morphisms: a logical approach
17. S. Shapiro: Foundations without foundationalism
lB. J. P. Cleave: A study of logics
19. Raymond M. Smullyan: Godel's incompleteness theorems
20. T. E. Forster: Set theory with a universal set
21. C. McLarty: Elementay categories, elementay toposes
22. Raymond M. Smullyan: Recursion theory for metamathematics
odel's
Incompleteness
heorems
RAYMOND M. SMULLYAN
New York Oxford
Oxford University Press
1992
Oxford University Press
Oxford New York Toronto
Delhi Bombay Calcutta Madras Karachi
Kuala Lumpur Singapore Hong Kong Tokyo
Nairobi Dar es Salaam Cape Town
Melboune Auckland
and associated companies in
Berlin Ibadan
Copyright © 1992 by Oxford University Press, Inc.
Published by Oxford University Press, Inc.,
200 Madison Avenue, New York, New York 10016
Oxford is a registered trademark of Oxford University Press
All rights reserved. No part of this publication may be reproduced,
stored in a retrieval system, or transmitted in any form or by any means,
electronic, mechanical, photocopying, recording, or otherwise,
without the prior permission of Oxford University Press.
Library of Congress Cataloging.in·Publication Data
Smullyan, Raymond M.
Godel's incompleteness theorems / Raymond M. Smullyan.
p. cm. (Oxford logic guides: 19)
Includes bibliographical references and index.
ISBN 0-19·504672·2
1 . Gdel's theorem. I. Title. II. Series.
QA9.65.S69 1992 511.3-dc20
92·16377
987654321
Printed in the United States of America
on acid· free paper

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin