文档介绍：Universitext
Universitext
Series Editors:
Sheldon Axler
San Francisco State University
Vincenzo Capasso
Universit`a degli Studi di Milano
Carles Casacuberta
Universitat de Barcelona
Angus J. MacIntyre
Queen Mary College, University of London
h Ribet
University of California, Berkeley
Claude Sabbah
CNRS, Ecole´ Polytechnique
Endre S¨uli
University of Oxford
Wojbor A. Woyczynski
Case Western Reserve University
Universitext is a series of textbooks that presents material from a wide variety
of mathematical disciplines at master’s level and beyond. The books, often well
class-tested by their author, may have an informal, personal even experimental
approach to their subject matter. Some of the most essful and established books
in the series have evolved through several editions, always following the evolution
of teaching curricula, to very polished texts.
Thus as research topics trickle down into graduate-level teaching, first textbooks
written for new, cutting-edge courses may make their way into Universitext.
For further volumes:
ies/223
Shashi Mohan Srivastava
A Course on
Mathematical Logic
Second Edition
123
Shashi Mohan Srivastava
Indian Statistical Institute
Kolkata, India
ISSN 0172-5939 ISSN 2191-6675 (electronic)
ISBN 978-1-4614-5745-9 ISBN 978-1-4614-5746-6 (eBook)
DOI -1-4614-5746-6
Springer New York Heidelberg Dordrecht London
Library of Congress Control Number: 2012955369
Mathematics Subject Classification: 03B10, 03C10, 03C20
© Springer Science+Business Media New York 2008, 2013
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of
the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology
now