The Leading eBooks Store Online

4,003,177 members ⚫ 1,317,278 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

  • Topoiby Robert Goldblatt

    Dover Publications 2013; US$ 29.95

    A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. more...

  • Coherence in Three-Dimensional Category Theoryby Nick Gurski

    Cambridge University Press 2013; US$ 60.00

    Serves as an introduction to higher categories as well as a reference point for many key concepts in the field. more...

  • Automated Theorem Provingby Monty Newborn

    Springer New York 2012; US$ 143.34

    As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform billions of operations per second are now commonplace. Multiprocessors with thousands of little computers - relatively little! -can now carry out parallel computations and solve problems in seconds that... more...

  • Type Theory and Formal Proofby Rob Nederpelt; Herman Geuvers

    Cambridge University Press 2014; US$ 64.00

    A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. more...

  • Category Theoryby Steve Awodey

    OUP Oxford 2010; US$ 59.99

    A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises. more...

  • Théorie des ensemblesby N. Bourbaki

    Springer Berlin Heidelberg 2007; US$ 39.41

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

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

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