The Leading eBooks Store Online

3,757,227 members ⚫ 1,221,934 ebooks

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

  • Methods of Argumentationby Douglas Walton

    Cambridge University Press 2013; US$ 28.00

    This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of examples. more...

  • How to Prove Itby Daniel J. Velleman

    Cambridge University Press 2006; US$ 32.00

    This new edition of Daniel J. Velleman's successful textbook contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. more...

  • Ontology Matchingby Jérôme Euzenat; Pavel Shvaiko

    Springer Berlin Heidelberg 2013; US$ 63.74

    This book explores ontology matching as a solution to the semantic heterogeneity problem faced by computer systems. Also covers emerging topics such as data interlinking, ontology partitioning and pruning, and user involvement in matching. more...

  • Théorie des ensemblesby N. Bourbaki

    Springer Berlin Heidelberg 2007; US$ 35.05

    Les Éléments de mathématique de Nicolas Bourbaki ont pour objet une présentation rigoureuse, systématique et sans prérequis des mathématiques depuis leurs fondements. Le Livre de Théorie des ensembles qui vient en tête du traité présente les fondements axiomatiques de la théorie des ensembles. Il comprend les chapitres: 1. Description de la mathématique... more...

  • Théories spectralesby N. Bourbaki

    Springer Berlin Heidelberg 2007; US$ 35.05

    Les Éléments de mathématique de Nicolas Bourbaki ont pour objet une présentation rigoureuse, systématique et sans prérequis des mathématiques depuis leurs fondements. Ce premier volume du Livre consacré aux Théorie spectrales, dernier Livre du traité, comprend les chapitres: -1. Algèbres normée; -2. Groupes localement compacts commutatifs. ... more...

  • Multiple Forcingby T. Jech

    Cambridge University Press 1987; US$ 38.00

    In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important applications. more...

  • Simple Theories and Hyperimaginariesby Enrique Casanovas

    Cambridge University Press 2011; US$ 76.00

    This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries. more...

  • From Sets and Types to Topology and Analysisby Laura Crosilla; Peter Schuster

    Clarendon Press 2005; US$ 204.99

    This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope. more...

  • Automata, Formal Languages and Algebraic Systemsby Masami Ito; Yuji Kobayashi; Kunitaka Shoji

    World Scientific Publishing Company 2010; US$ 84.00 US$ 76.44

    This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It covers the areas such as automata and grammars, languages and codes, combinatorics on words, cryptosystems,... more...

  • The Structure of Models of Peano Arithmeticby Roman Kossak; James Schmerl

    Clarendon Press 2006; US$ 134.99

    Aimed at graduate students, research logicians and mathematicians, this much-awaited text covers over 40 years of work on relative classification theory for nonstandard models of arithmetic. The book covers basic isomorphism invariants: families of type realized in a model, lattices of elementary substructures and automorphism groups. more...