The Leading eBooks Store Online

3,788,875 members ⚫ 1,234,658 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

  • Proofs and Confirmationsby David M. Bressoud

    Cambridge University Press 1999; US$ 40.00

    An introduction to recent developments in algebraic combinatorics and an illustration of how research in mathematics actually progresses. more...

  • Logical Dynamics of Information and Interactionby Johan van Benthem

    Cambridge University Press 2011; US$ 46.00

    This book presents logic as a way to identify all information processes that drive human action. more...

  • Symbolic Logicby David Agler

    Rowman & Littlefield Publishers 2012; US$ 74.99

    Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical... more...

  • Mathematical Logic for Computer Science: 2by Lu Zhongwan

    World Scientific Publishing Company 1998; US$ 66.00 US$ 60.06

    Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition,... more...

  • Théorie des ensemblesby N. Bourbaki

    Springer Berlin Heidelberg 2007; US$ 35.02

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

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