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

Most popular at the top

  • Galois Theoriesby Francis Borceux; George Janelidze

    Cambridge University Press 2001; US$ 72.00

    Develops Galois theory in a more general context, emphasizing category theory. more...

  • Methods of Cut-Eliminationby Matthias Baaz; Alexander Leitsch

    Springer 2011; US$ 179.00

    This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional... more...

  • Statistical Methods for Fuzzy Databy Reinhard Viertl

    Wiley 2011; US$ 107.95

    Statistical data are not always precise numbers, or vectors, orcategories. Real data are frequently what is called fuzzy. Exampleswhere this fuzziness is obvious are quality of life data,environmental, biological, medical, sociological and economicsdata. Also the results of measurements can be best described byusing fuzzy numbers and fuzzy vectors... more...

  • Logic with a Probability Semanticsby Theodore Hailperin

    Lehigh University Press 2010; US$ 59.99

    The book extends the development of probability logic_a logic using probability, not verity (true, false) as the basic semantic notion. The basic connectives 'not,' 'and,' and 'or' are described in depth to include quantified formulas. Also discussed is the notion of the suppositional, and resolution of the paradox of confirmation. more...

  • How to Solve It: A New Aspect of Mathematical Methodby G. Polya; John H. Conway

    Princeton University Press 2014; US$ 19.95

    A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be of help in attacking any problem that can be ?reasoned? out?from building a bridge to winning... more...

  • Logicby Wilfrid Hodges

    Penguin Books Ltd 2001; US$ 17.58

    If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections... more...

  • An Introduction to Category Theoryby Harold Simmons

    Cambridge University Press 2011; US$ 28.00

    The basics of category theory beautifully explained with a wealth of exercises. Solutions are available online. more...


    World Scientific Publishing Company 2011; US$ 198.00

    This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first c more...

  • Forever Undecidedby Raymond M. Smullyan

    Knopf Doubleday Publishing Group 2012; US$ 19.99

    Forever Undecided is the most challenging yet of Raymond Smullyan?s puzzle collections.  It is, at the same time, an introduction?ingenious, instructive, entertaining?to Gödel?s famous theorems.                 With all the wit and charm that have delighted readers of his previous books, Smullyan transports us once again to that magical island where... more...

  • Concise Guide to Computation Theoryby Akira Maruoka

    Springer 2011; US$ 69.95

    This textbook presents a thorough foundation to the theory of computation. Combining intuitive descriptions and illustrations with rigorous arguments and detailed proofs for key topics, the logically structured discussion guides the reader through the core concepts of automata and languages, computability, and complexity of computation. This title:... more...