The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
- Springer Berlin Heidelberg 2012; US$ 99.00
Dr. KURT GODEL'S sixtieth birthday (April 28, 1966) and the thirty fifth anniversary of the publication of his theorems on undecidability were celebrated during the 75th Anniversary Meeting of the Ohio Ac ademy of Science at The Ohio State University, Columbus, on April 22, 1966. The celebration took the form of a Festschrift Symposium on a theme... more...
- Birkhäuser Boston 2009; US$ 59.99
This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an American Mathematical Society meeting, the chapters explore technical innovations, the philosophical consequences of work during the period, and the historical and social context in which the logicians... more...
- Springer London 2009; US$ 27.50
This fun narrative blends fact, humor, light scholarly argument, and elementary challenges as it explores the importance of mathematics. It features, JJ, a character who offers a satirical evaluation of the public?s attitude toward numeracy and logic. more...
- Springer New York 2012; US$ 109.00
?This volume was produced in conjunction with the Thematic Program in o-Minimal Structures and Real Analytic Geometry, held from January to June of 2009 at the Fields Institute. Five of the six contributions consist of notes from graduate courses associated with the program: Felipe Cano on a new proof of resolution of singularities for planar analytic... more...
- Atlantis Press 2013; US$ 189.00
This book presents surveys describing recent developments in most of the primary subfields of general topology and its applications to algebra and analysis. It was prepared in connection with the Prague Topological Symposium, held in 2011. more...
- Springer International Publishing 2014; US$ 129.00
This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity,... more...
- Springer Berlin Heidelberg 2011; US$ 29.95
Lectures: G.E. Sacks: Model theory and applications.- H.J. Keisler: Constructions in model theory.- Seminars: M. Servi: SH formulas and generalized exponential.- J.A. Makowski: Topological model theory. more...
- Springer Milan 2011; US$ 29.95
La varietà e l?interesse dei contributi alla Lettera Matematica Pristem hanno spinto i curatori, d?accordo con il comitato di redazione, a proporre in questa raccolta alcuni articoli apparsi sulla rivista dalla sua fondazione ad oggi. atica Pristem è una rivista, edita dalla Springer-Verlag Italia, che affronta temi legati alla ricerca matematica,... more...
- Springer Berlin Heidelberg 2012; US$ 160.00
L systems are language-theoretic models for developmental biology. They wereintroduced in 1968 by Aristid Lindenmayer (1925-1989) and have proved to be among the most beautiful examples of interdisciplinary science, where work in one area induces fruitful ideas and results in other areas. L systemsare based on relational and set-theoretic concepts, which... more...
- Springer Netherlands 2013; US$ 179.00
This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification. more...