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

Most popular at the top

  • Subsystems of Second Order Arithmeticby Stephen G. Simpson

    Cambridge University Press 2009; US$ 42.00

    Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas. more...

  • Logic Colloquium 2006by S. Barry Cooper; Herman Geuvers; Anand Pillay; Jouko Väänänen

    Cambridge University Press 2009; US$ 101.00

    The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium. more...

  • Algebraic Automata Theoryby M. Holcombe

    Cambridge University Press 1982; US$ 52.00

    A self-contained, modern treatment of the algebraic theory of machines based on fundamental ideas from modern algebra. more...

  • Galois Theoriesby Francis Borceux; George Janelidze

    Cambridge University Press 2001; US$ 69.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, or categories. Real data are frequently what is called fuzzy. Examples where this fuzziness is obvious are quality of life data, environmental, biological, medical, sociological and economics data. Also the results of measurements can be best described by using fuzzy numbers and fuzzy vectors... more...

  • Logicby Wilfrid Hodges

    Penguin Books Ltd 2001; Not Available

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

  • MEANING, LOGIC AND LUDICSby Alain Lecomte

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