The Leading eBooks Store Online

3,603,993 members ⚫ 1,165,375 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$ 32.00 US$ 26.24

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

  • Théorie des ensemblesby N. Bourbaki

    Springer Berlin Heidelberg 2007; US$ 79.95

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

    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$ 48.00 US$ 39.36

    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 US$ 62.32

    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 US$ 176.29

    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

    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 US$ 116.09

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

  • A Course on Set Theoryby Ernest Schimmerling

    Cambridge University Press 2011; US$ 40.00 US$ 32.80

    This fresh approach to set theory covers the theoretical fundamentals as well as outline connections with other parts of mathematics. more...

  • Quantifiers, Propositions and Identityby Robert Goldblatt

    Cambridge University Press 2011; US$ 77.00 US$ 63.14

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