Birkhäuser Mathematics 2009 /2010
Total Page:16
File Type:pdf, Size:1020Kb
Order Information Distribution Centers Editorial Matters To order any of our books or Europe, Asia, Africa, Birkhäuser Verlag AG journals please contact your Australia Viaduktstrasse 42 local bookseller or order at Birkhäuser Customer Service 4051 Basel/Switzerland www.birkhauser.ch c/o Springer Customer Tel: +41 / 61 / 2 05 07 07 Service Center Fax: +41 / 61 / 2 05 07 99 To subscribe or unsubscribe Haberstrasse 7 to this catalogue please 69126 Heidelberg/Germany Editors: contact Dr. Thomas Hempfling Books: [email protected] Executive Editor Tel.: +49 / 6221 / 345 43 01 Mathematics Fax: +49 / 6221 / 345 42 29 All prices are recommended [email protected] [email protected] prices, except Euro prices for Birkhäuser German titles. Journals: Dr. Barbara Hellriegel EUR prices are net prices. Tel. +49 / 6221 / 345 43 01 Editor EUR (D) prices are gross Fax +49 / 6221 / 345 42 29 Applied Mathematics/Computer Birkhäuser prices including 7% German [email protected] Science VAT. [email protected] Switzerland, Liechtenstein EUR (A) prices are gross Mathematics Balmer Bücherdienst AG Mathematics prices including 10% Dr. Karin Neidhart Customer Service Austrian VAT. Editor Kobiboden CHF prices are gross prices. History of Science 8840 Einsiedeln/Switzerland Prices are subject to change [email protected] 2009 /2010 without notice. Tel.: +41 / 848 / 840 820 Fax: +41 / 848 / 840 830 [email protected] 2009/2010 North and South America Birkhäuser Boston Birkhäuser Boston 233 Spring Street c/o Springer NY New York, NY 10013 / USA 333 Meadowlands Parkway Secaucus, NJ 07094-2491, Editors: USA Ann Kostant Tel.: +1 / 800 / 777 4643 Executive Editor Fax: +1 / 201 / 348 4505 Mathematics and Physics [email protected] [email protected] www.birkhauser.com Tel: +1 617-244-4954 Tom Grasso Senior Editor Computational Sciences and Engineering For more information on our [email protected] books and journals, including table Tel: +1 339-368-6172 of contents and reviews, please visit www.birkhauser.ch Part of Springer Science+Business Media 5027 S (07/2009) New and noteworthy books and journals Highlights Journal of Pseudo-Differential Operators and Applications See page 153 New Related Book Series: Journal Pseudo-Differential Operators Theory and Applications • Vol. 1. Quantization and Arithmetic See page 22 • Vol. 2. Pseudo-Differential Operators and Symmetries See page 62 • Vol. 3. Global Pseudo-differential Calculus on Euclidean Spaces: See page 61 Second New Edition Series Mathematical Combinatorial Autonomic Olympiad Number Theory and Systems Challenges Additive Group Theory See page 105 See page 111 See page 7 Control and Optimization MetricM t i FFoliations li ti The Physical Tourist of Multiscale Process and Curvature See page 120 Systems See page 20 See page 101 2 Contents Logic and Foundations 4 Combinatorics / Number Theory 7 Algebra and Representation Theory 12 Geometry / Topology 18 Analysis / Operator Theory 30 Differential Equations / Dynamical Systems 61 Systems and Control 73 Probability and Statistics 77 Mathematical Physics / Physics 84 Numerical and Computational Mathematics / Applications 92 Of General Interest 111 History of Science 115 Deutschsprachige Titel / German Language Titles 127 Series Index Series in Pure and Applied Mathematics 139 Series in History of Science 151 Journals 153 Authors and Editors Index 164 Contact Information 168 T Textbooks suitable for undergraduate, TEXTBOOK advanced undergraduate or graduate students The catalogues cover image is a coloured version of a David head taken from Discrete Differential Geometry (see page 24) by Alexander I. Bobenko, Peter Schröder, John M. Sullivan and Günter M. Ziegler (Eds.): Chapter: Discrete Differential Forms for Computational Modeling by Mathieu Desbrun, Eva Kanso and Yiying Tong. The figure is combined with a massif. 3 Logic and Foundations Institution-independent Model Theory Diaconescu, R., Simion Stoilow Romanian Academy, Romania SUL – Studies in Universal Logic A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This Universal Algebraic Logic generality can be achieved by applying the Dedicated to the Unity of Science theory of institutions that provides a precise Andréka, H. / Németi, I. / Sain, I. mathematical formulation for the intuitive Hungarian Academy of Sciences, Budapest, concept of a logical system. Especially in Hungary computer science, where the development of a huge number of specification logics is SUL – Studies in Universal Logic observable, institution-independent model Due in Winter 2009 theory simplifies and sometimes even enables a concise model-theoretic analysis The three main themes of this book are (i) of the system. Besides incorporating universal logic and the question of what important methods and concepts from logic is, (ii) universal algebraic logic and conventional model theory, the proposed duality theories between the world of logics top-down methodology allows for a and the world of algebra, and (iii) algebraic structurally clean understanding of model- logic proper including algebras of relations theoretic phenomena. As a consequence, of various ranks, Tarski’s cylindric algebras, results from conventional concrete model relation algebras, Halmos’ polyadic algebras theory can be understood more easily, and and other kinds of algebras of logic. Besides sometimes even new results are obtained. Tarskian algebraizations of logics, category 2008. XI, 376 p. Softcover theoretical perspectives are also touched EUR 69.90 / USD 99.– / CHF 125.– upon. Following the Tarskian tradition, ISBN 978-3-7643-8707-5 besides the connections between logic and algebra, related logical connections Completeness Theory for with geometry and eventually spacetime geometry leading up to relativity are also Propositional Logics part of the perspective of the book. An Pogorzelski, W.A., University of Bialystok, introductory chapter contains the necessary Poland / Wojtylak, P., Silesian University algebraic basics, this can be used in its own Katowice, Poland right as a quick introduction to universal SUL – Studies in Universal Logic algebra. 2010. Approx. 260 p. Softcover The book develops the theory of one EUR 59.95 / USD 79.95 / CHF 105.– of the most important notions in the ISBN 978-3-7643-8505-7 methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. Global variants of the notion mean the possibility of getting all correct and reliable schemata 4 Logic and Foundations of inference. Its local variants refer to the Set Theory notion of truth given by some semantics. Centre de Recerca Matemàtica A uniform theory of completeness in its general and local meaning is carried out and Barcelona, 2003-2004 it generalizes and systematizes some variety Bagaria, J. / Todorcevic, S. (Eds) of the notion of completeness such as Post- TM – Trends in Mathematics completeness, structural completeness and many others. This approach allows 2006. VI, 406 p. Hardcover also for a more profound view upon some EUR 99.– / USD 139.– / CHF 159.– ISBN 978-3-7643-7691-8 essential properties (e.g. two-valuedness) of propositional systems. For these purposes, T the theory of logical matrices, and the theory A Beginner’s Guide to TEXTBOOK of consequence operations is exploited. Finite Mathematics 2008. VIII, 178 p. Softcover For Business, Management, and the EUR 49.90 / USD 69.95 / CHF 85.– ISBN 978-3-7643-8517-0 Social Sciences Wallis, W.D. T Logic for Computer 2004. XII, 354 p. 100 illus. Softcover TEXTBOOK EUR 49.95 / USD 64.95 / CHF 77.50 Scientists ISBN 978-0-8176-4270-9 Schöning, U., University of Ulm, Germany Reprint A Beginner’s Guide to Discrete T TEXTBOOK MBC – Modern Birkhäuser Classics Mathematics 1st ed. 1989. 2nd printing 2008. XII, 166 p. 32 illus. Softcover Wallis, W.D. EUR 34.90 / USD 39.95 / CHF 59.90 ISBN 978-0-8176-4762-9 This introduction to discrete mathematics is aimed primarily at undergraduates in Logica Universalis mathematics and computer science at the freshmen and sophomore levels. The text Towards a General has a distinctly applied orientation and Theory of Logic begins with a survey of number systems and Béziau, J.-Y. (Ed.) elementary set theory. Additional chapters treat: data structures, counting, probability, “I find this book extremely useful and relations and functions, graph theory, important, because it signifies the arrival matrices, number theory and cryptography. of a new renaissance in logic, a new revival Good examples occur throughout and there not only of logic, but of the vision of logic are problem sets with selected solutions at as a unifying tool for science as a whole, the end of each section. A college algebra including mathematics, physics, cosmology, course is the only prerequisite. computer science and AI. The book and the 2003. 388 p. 43 illus. Softcover vision behind it give logic, conceived as a EUR 39.90 / USD49.95 / CHF 69.90 scientific study of rationality, new unifying ISBN 978-0-8176-4269-3 power, new perspectives, and new horizons.” — Hungarian Academy of Sciences 2007. XI, 246 p. Softcover EUR 49.90 / USD 79.95 / CHF 78.– ISBN 978-3-7643-8353-4 5 Logic and Foundations Ordered Sets T Proofs and Fundamentals T An Introduction TEXTBOOK A First Course in Abstract TEXTBOOK Schröder, B. Mathematics Bloch, E.D. 2003. XVII, 391 p. 35 illus. Hardcover EUR 54.95 / USD 74.95 / CHF 85.50 ISBN 978-0-8176-4128-3 “… Proofs and Fundamentals has many strengths. One notable, strength, is its excellent organization. The book begins Handbook of Logic and Proof with a three-part preface, which makes its Techniques for Computer Science aims very clear. There are large exercise Krantz, S.G. sets throughout the book … Exercises are well integrated with the text and vary “This is really what it promises to be – a good appropriately from easy to hard … Topics in handbook: supple, self-contained, providing Part III are quite varied, mostly independent the necessary and sufficient working from each other, and truly dependent on resources … it is more than [one] expect[s]: Parts I and II.