The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books

  • Foundations of Mathematicsby

    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...

  • 7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligenceby

    Springer Berlin Heidelberg 2013; US$ 49.99

    Die 7. \sterreichische Artificial-Intelligence-Tagung fand vom 24.-27. September 1991 an der Technischen Universit{t Wien statt. Sie hat aufgrund der starken Beteiligung aus dem Ausland einen ausgepr{gt internationalen Charakter, weshalb auch der vorliegende Tagungsband zweisprachig herausgegeben wurde. Die behandelten Themen aus dem Gebiet der K}nstlichen... more...

  • Model Theory and Applicationsby

    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...

  • Lecture Notes on O-Minimal Structures and Real Analytic Geometryby

    Springer New York 2012; US$ 129.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...

  • Recent Progress in General Topology IIIby

    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...

  • Recent Trends in Philosophical Logicby

    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...

  • Dude, Can You Count? Stories, Challenges and Adventures in Mathematicsby

    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...

  • Recursion Theory and Computational Complexityby

    Springer Berlin Heidelberg 2011; US$ 49.95

    S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. Soare: Construction in the recursively enumerable degrees.- W. Maass: Recursively invariant recursion theory. more...

  • Un mondo di ideeby

    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...

  • The Argument of Mathematicsby

    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...