Rautenberg; A Concise Introduction to Mathematical Logic, FILOZOFIA, Logika
[ Pobierz całość w formacie PDF ]
Universitext
Editorial Board
(North America):
S. Axler
K.A. Ribet
Universitext
Editors (North America): S. Axler and K.A. Ribet
Aguilar/Gitler/Prieto:
Algebraic Topology from a Homotopical Viewpoint
Aksoy/Khamsi:
Nonstandard Methods in Fixed Point Theory
Andersson:
Topics in Complex Analysis
Aupetit:
A Primer on Spectral Theory
Bachman/Narici/Beckenstein:
Fourier and Wavelet Analysis
Badescu:
Algebraic Surfaces
Balakrishnan/Ranganathan:
A Textbook of Graph Theory
Balser:
Formal Power Series and Linear Systems of Meromorphic Ordinary
Differential Equations
Bapat:
Linear Algebra and Linear Models (2nd ed.)
Berberian:
Fundamentals of Real Analysis
Blyth:
Lattices and Ordered Algebraic Structures
Boltyanskii/Efremovich:
Intuitive Combinatorial Topology. (Shenitzer, trans.)
Booss/Bleecker:
Topology and Analysis
Borkar:
Probability Theory: An Advanced Course
Böttcher/Silbermann:
Introduction to Large Truncated Toeplitz Matrices
Carleson/Gamelin:
Complex Dynamics
Cecil:
Lie Sphere Geometry: With Applications to Submanifolds
Chae:
Lebesgue Integration (2nd ed.)
Charlap:
Bieberbach Groups and Flat Manifolds
Chern:
Complex Manifolds Without Potential Theory
Cohn:
A Classical Invitation to Algebraic Numbers and Class Fields
Curtis:
Abstract Linear Algebra
Curtis:
Matrix Groups
Debarre:
Higher-Dimensional Algebraic Geometry
Deitmar:
A First Course in Harmonic Analysis (2nd ed.)
DiBenedetto:
Degenerate Parabolic Equations
Dimca:
Singularities and Topology of Hypersurfaces
Edwards:
A Formal Background to Mathematics I a/b
Edwards:
A Formal Background to Mathematics II a/b
Farenick:
Algebras of Linear Transformations
Foulds:
Graph Theory Applications
Friedman:
Algebraic Surfaces and Holomorphic Vector Bundles
Fuhrmann:
A Polynomial Approach to Linear Algebra
Gardiner:
A First Course in Group Theory
Gårding/Tambour:
Algebra for Computer Science
Goldblatt:
Orthogonality and Spacetime Geometry
Gustafson/Rao:
Numerical Range: The Field of Values of Linear Operators and
Matrices
Hahn:
Quadratic Algebras, Clifford Algebras, and Arithmetic Witt Groups
Heinonen:
Lectures on Analysis on Metric Spaces
Holmgren:
A First Course in Discrete Dynamical Systems
Howe/Tan:
Non-Abelian Harmonic Analysis: Applications of
SL
(2, R)
Howes:
Modern Analysis and Topology
Hsieh/Sibuya:
Basic Theory of Ordinary Differential Equations
Humi/Miller:
Second Course in Ordinary Differential Equations
Hurwitz/Kritikos:
Lectures on Number Theory
Jennings:
Modern Geometry with Applications
(continued after index)
Wolfgang Rautenberg
A Concise Introduction
to Mathematical Logic
Wolfgang Rautenberg
FB Mathematik und Informatik Inst.
Mathematik II
Freie Universität Berlin
14195 Berlin
Germany
raut@math.fu-berlin.de
Editorial Board
(North America):
S. Axler
K. A. Ribet
Mathematics Department
Mathematics Department
San Francisco State University
University of California at Berkeley
San Francisco, CA 94132
Berkeley, CA 94720-3840
USA
USA
axler@sfsu.edu
ribet@math.berkeley.edu
Mathematics Subject Classification (2000): 03-XX 68N17
Library of Congress Control Number: 2005937016
ISBN-10: 0-387-30294-8
ISBN-13: 978-0387-30294-2
Printed on acid-free paper.
©2006 Springer Science+Business Media, Inc.
All rights reserved. This work may not be translated or copied in whole or in part without the written
permission of the publisher (Springer Science+Business Media, Inc., 233 Spring Street, New York,
NY 10013, USA), except for brief excepts in connection with reviews or scholarly analysis. Use in con-
nection with any form of information storage and retrieval, electronic adaptation, computer software,
or by similar or dissimilar methodology now known or hereafter developed is forbidden.
The use in this publication of trade names, trademarks, service marks, and similar terms, even if they
are not identified as such, is not to be taken as an expression of opinion as to whether or not they are
subject to proprietary rights.
Printed in the United States of America.
(SBA)
98765432
springer.com
Wolfgang Rautenberg
A Concise Introduction
to
Mathematical Logic
Textb o ok
Typeset and layout: The author
Version from December 2005
[ Pobierz całość w formacie PDF ]