Introduction to Mathematical Logic
This is a compact mtroduction to some of the pnncipal tOpICS of mathematical logic . In the belief that beginners should be exposed to the most natural and easiest proofs, I have used free-swinging set-theoretic methods. The significance of a demand for c
- PDF / 33,362,399 Bytes
- 351 Pages / 481.89 x 691.65 pts Page_size
- 109 Downloads / 223 Views
THE WADSWORTH & BROOKS/COLE MATHEMATICS SERIES SERIES EDITORS
Raoul H. Bott, Harvard University David Eisenbud, Brandeis University Hugh L. Montgomery, University of Michigan Paul J. Sally, Jr., University of Chicago Barry Simon, California Institute of Technology Richard P. Stanley, Massachusetts Institute of Technology M. Adams, and V. Guillemin, Measure Theory and Probability W. Beckner, A. Calderon, R. Fefferman, and P. Jones, Conference on Harmonic Analysis in Honor of Antoni Zygmund G. Chartrand, and L. Lesniak, Graphs & Digraphs, Second Edition J. Cochran, Applied Mathematics: Principles, Techniques, and Applications W. Derrick, Complex Analysis and Applications, Second Edition J. Dieudonne, History of Algebraic Geometry R. Durrett, Brownian Motion and Martingales in Analysis S. Fisher, Complex Variables A. Garsia, Topics in Almost Everywhere Convergence R. McKenzie, G. McNulty, and W. Taylor, Algebras, Lattices, Varieties, Volume I E. Mendelson, Introduction to Mathematical Logic, Third Edition R. Salem, Algebraic Numbers. and Fourier Analysis, and L. Carleson, Selected Problems on Exceptional Sets R. Stanley, Enumerative Combinatorics, Volume I K. Stromberg, An Introduction to Classical Real Analysis
Introduction to Mathematical Logic THIRD EDITION
Elliott Mendelson QUEENS COLLEGE OF THE CITY UNIVERSITY OF NEW YORK
WI1ili WADSWORTH & BROOKS/COLE ADVANCED BOOKS & SOFTWARE .- LIJ
MONTEREY, CALIFORNIA
To Arlene
Wadsworth & Brooks/Cole Advanced Books & Software A Division of Wadsworth, Inc. © 1987 by Wadsworth, Inc., Belmont, California 94002. All rights reserved. Softcover reprint of the hardcover 1st edition 1987 No part of this book may be reproduced, stored in a retrieval system, or transcribed, in any form or by any means---electronic, mechanical, photocopying, recording or otherwisewithout the prior written permission of the publisher, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, California 93940, a division of Wadsworth, Inc.
10 9 8 7 6 S 4 3 2
Library of Congress Catalogmg·in·Publication Data Mendelson, Elliott. Introduction to mathematical logic. (The Wadsworth & Brooks/Cole mathematics series) Bibliography: p. Includes index. l. Logic, Symbolic and mathematical. I. Title. ll. Series. QA9.M4 1987 Sll'.3 86·11084 ISBN-13: 978-1-4615-7290-9 DOl: 10.1007/978-1-4615-7288-6
e-ISBN-13: 978-1-4615-7288-6
Sponsoring Editor: John Kimmel Editorial Assistant: Maria Rosillo Alsadi Production Editor: Phyllis Larimore Manuscript Editor: Carol Reitz Interior and Cover Design: Vernon T. Boes Art Coordinator: Lisa To"i Interior Illustration: Lori Heckelman Typesetting: ASCO Trade Typesetting Ltd., Hong Kong
Preface This is a compact mtroduction to some of the pnncipal tOpICS of mathematical logic . In the belief that beginners should be exposed to the most natural and easiest proofs, I have used free-swinging set-theoretic methods. The significance of a demand for constructive proofs can be evaluated only after a certain amount of experience with mathematical logic has been obtained. If
