Mathematical Logic and Model Theory A Brief Introduction
Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand
- PDF / 2,008,150 Bytes
- 198 Pages / 439.37 x 666.142 pts Page_size
- 37 Downloads / 260 Views
Universitext Series Editors: Sheldon Axler San Francisco State University Vincenzo Capasso Università degli Studi di Milano Carles Casacuberta Universitat de Barcelona Angus J. MacIntyre Queen Mary, University of London Kenneth Ribet University of California, Berkeley Claude Sabbah CNRS, École Polytechnique Endre Süli 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 successful and established books in the series have evolved through several editions, always following the evolution of teaching curricula, into 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: www.springer.com/series/223
Alexander Prestel r Charles N. Delzell
Mathematical Logic and Model Theory A Brief Introduction
Prof. Dr. Alexander Prestel Fachbereich Mathematik und Statistik Universität Konstanz Postfach 55 60 78457 Konstanz Germany [email protected]
Prof. Charles N. Delzell Department of Mathematics Louisiana State University Baton Rouge, Louisiana 70803 USA [email protected]
ISSN 0172-5939 e-ISSN 2191-6675 Universitext ISBN 978-1-4471-2175-6 e-ISBN 978-1-4471-2176-3 DOI 10.1007/978-1-4471-2176-3 Springer London Dordrecht Heidelberg New York British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library Library of Congress Control Number: 2011936630 Mathematics Subject Classification (2010): 03-01, 03B10, 03C07, 03C10, 03C98 © Springer-Verlag London Limited 2011 Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licenses issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers. The use of registered names, trademarks, etc., in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made. Cover design: VTeX UAB, Lithuania Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Preface to the German Edition
This textbook is
Data Loading...
