The Leading eBooks Store Online

4,385,058 members ⚫ 1,459,539 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

  • How to Prove Itby Daniel J. Velleman

    Cambridge University Press 2006; US$ 30.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...

  • Burden of Proof, Presumption and Argumentationby Douglas Walton

    Cambridge University Press 2014; US$ 21.00

    This book explains how burden of proof and presumption work as powerful devices in argumentation, based on studying many clearly explained legal and non-legal examples. more...

  • Multiagent Systemsby Yoav Shoham; Kevin Leyton-Brown

    Cambridge University Press 2008; US$ 60.00

    A thorough introduction to a burgeoning interdisciplinary field, with an emphasis on foundational material. more...

  • Logic of Arithmeticby Walter Felscher

    CRC Press 2014; US$ 57.95

    For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm... more...

  • Théorie des ensemblesby N. Bourbaki

    Springer Berlin Heidelberg 2007; US$ 38.10

    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$ 38.10

    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$ 78.00

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

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

    World Scientific Publishing Company 2010; US$ 42.00 US$ 38.22

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

  • Quantifiers, Propositions and Identityby Robert Goldblatt

    Cambridge University Press 2011; US$ 79.00

    Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation. more...