The Leading eBooks Store Online

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

New to eBooks.com?

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
Logic

  • Type Theory and Formal Proofby Rob Nederpelt; Herman Geuvers

    Cambridge University Press 2014; US$ 64.00

    A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. more...

  • An Illustrated Book of Bad Argumentsby Ali Almossawi; Alejandro Giraldo

    The Experiment 2014; US$ 9.95

    ?A flawless compendium of flaws.? ?Alice Roberts, PhD, anatomist, writer, and presenter of The Incredible Human Journey The antidote to fuzzy thinking, with furry animals! Have you read (or stumbled into) one too many irrational online debates? Ali Almossawi certainly had, so he wrote An Illustrated Book of Bad Arguments ! This handy guide... more...

  • Logic, Computation, Hierarchiesby Hannes Diener; Vasco Brattka; Dieter Spreen

    De Gruyter 2014; US$ 154.00

    Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume... more...

  • Lattice Theoryby George Grätzer; Friedrich Wehrung

    Springer 2014; US$ 129.00

    George Gratzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second edition, 1998). In 2009, Gratzer considered updating the second edition to reflect some exciting and deep developments. He soon realized that to lay the foundation, to survey the contemporary field, to pose research problems, would... more...

  • Mathematik für Informatikerby Rudolf Berghammer

    Springer 2014; US$ 29.99

    Das Buch bietet eine Einfuhrung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Ein spezielles Konzept erleichtert den Ubergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch leicht verstandliche Vermittlung des Stoffes werden die Studierenden... more...

  • Theory of Computationby George Tourlakis

    Wiley 2014; US$ 124.00

    Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do—from the most general model, the URM... more...

  • Monoidal Topologyby Dirk Hofmann; Gavin J. Seal; Walter Tholen

    Cambridge University Press 2014; US$ 104.00

    Based on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications. more...

  • Basic Category Theoryby Tom Leinster

    Cambridge University Press 2014; US$ 52.00

    A short introduction ideal for students learning category theory for the first time. more...

  • Taming the Unknownby Victor J. Katz; Karen Hunger Parshall

    Princeton University Press 2014; US$ 49.50

    What is algebra? For some, it is an abstract language of x?s and y?s. For mathematics majors and professional mathematicians, it is a world of axiomatically defined constructs like groups, rings, and fields. Taming the Unknown considers how these two seemingly different types of algebra evolved and how they relate. Victor Katz and Karen Parshall... more...

  • Duality Theories for Boolean Algebras with Operatorsby Steven Givant

    Springer 2014; US$ 109.00

    In this new text, Steven Givant?the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski?develops three theories of duality for Boolean algebras with operators. Givant addresses the two most recognized dualities (one algebraic and the other topological) and introduces a third duality, best understood as... more...