# The Leading eBooks Store Online

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

Most popular at the top

#### Relation Algebras

Elsevier Science 2006; US$ 285.00The 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]-calculus

Elsevier Science 2001; US$ 127.00This 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 Algebras

Elsevier Science 1991; US$ 72.95The 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...

#### Vieweg Berufs- und Karriere-Planer 2006: Mathematik

Springer Fachmedien 2007; US$ 19.95#### Cylindric-like Algebras and Algebraic Logic

Springer 2014; US$ 169.00Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski?s quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed... more...

#### Transmitting and Gaining Data

Springer International Publishing 2014; US$ 129.00The calculation of channel capacities was one of Rudolf Ahlswede's specialties and is the main topic of this second volume of his Lectures on Information Theory. Here we find a detailed account of some very classical material from the early days of Information Theory, including developments from the USA, Russia, Hungary and (which Ahlswede was probably... more...

#### Residuated Lattices

Elsevier Science 2007; US$ 155.00The 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...

#### Matematica e cultura in Europa

Springer 2005; US$ 9.95Non vero che la matematica susciti sempre poco interesse. Questa almeno l'impressione che si ricava quando lo spunto per parlarne viene non solo dalla scienza e dalla tecnologia, ma anche dall'arte, dalla letteratura, dal cinema e dal teatro. Ce lo ha insegnato Michele Emmer con i suoi convegni Matematica e Cultura e lo abbiamo sperimentato... more...

#### Relation Algebras by Games

Elsevier Science 2002; US$ 200.00Relation 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...