The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to

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
Algebraic logic

Most popular at the top

  • Relation Algebrasby Roger Duncan Maddux

    Elsevier Science 2006; US$ 285.00

    The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic.... more...

  • Rudiments of [mu]-calculusby A. Arnold; D. Niwinski

    Elsevier Science 2001; US$ 127.00

    This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. We have designed this book especially for researchers and students interested in logic in computer science, comuter aided verification, and general aspects of automata theory. We have aimed at gathering in a single place the fundamental... more...

  • Lukasiewicz-Moisil Algebrasby V. Boicescu; A. Filipoiu; G. Georgescu; S. Rudeanu

    Elsevier Science 1991; US$ 72.95

    The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valued logics of Lukasiewicz. The theory of LM-algebras has developed to a considerable extent both as an algebraic theory of intrinsic interest and in view of its applications to logic and switching theory. This book gives an overview of the theory, comprising... more...

  • Communication Complexityby Eyal Kushilevitz; Noam Nisan

    Cambridge University Press 1996; US$ 40.00

    Surveys the mathematical theory and applications such as computer networks, VLSI circuits, and data structures. more...

  • Berufs- und Karriere-Planer 2006: Mathematik - Schlüsselqualifikation für Technik, Wirtschaft und ITby

    Vieweg+Teubner Verlag 2007; US$ 19.95

    Dieses Buch beschreibt die Wichtigkeit der Mathematik als Schlüsselqualifikation. Es zeigt, wie vielfältig und interessant die beruflichen Möglichkeiten für Mathematiker sind, und informiert über Inhalte, Attraktivität und Chancen des Mathematikstudiums. Als Handbuch und Nachschlagewerk richtet es sich an Abiturienten, Studierende, Absolventen, Berufsanfänger,... more...

  • Residuated Latticesby Nikolaos Galatos; Peter Jipsen; Tomasz Kowalski; Hiroakira Ono

    Elsevier Science 2007; US$ 155.00

    The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is... more...

  • Relation Algebras by Gamesby R. Hirsch; I. Hodkinson

    Elsevier Science 2002; US$ 200.00

    Relation algebras are algebras arising from the study of binary relations. They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing... more...

  • Boolean Functions in Cryptology and Information Securityby B. Preneel; O.A. Logachev

    IOS Press 2008; US$ 167.00

    This book contains the proceedings of the NATO-Russia Advanced Study Institute (ASI) 'Boolean Functions in Cryptology and Information Security', which was held at September 8-18, 2007 in Zvenigorod, Moscow region, Russia. These proceedings consist of three parts. The first part contains survey lectures on various areas of Boolean function theory that... more...

  • Boole's Logic and Probabilityby T. Hailperin

    Elsevier Science 1986; US$ 72.95

    Since the publication of the first edition in 1976, there has been a notable increase of interest in the development of logic. This is evidenced by the several conferences on the history of logic, by a journal devoted to the subject, and by an accumulation of new results. This increased activity and the new results - the chief one being that Boole's... more...

  • Cryptographic Boolean Functions and Applicationsby Thomas W. Cusick; Pantelimon Stanica

    Elsevier Science 2009; US$ 63.95

    Boolean functions are the building blocks of symmetric cryptographic systems. Symmetrical cryptographic algorithms are fundamental tools in the design of all types of digital security systems (i.e. communications, financial and e-commerce). Cryptographic Boolean Functions and Applications is a concise reference that shows how Boolean functions are... more...