# The Leading eBooks Store Online

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

Most popular at the top

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

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

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

#### Lattice

Springer 2008; US$ 79.95R is rapidly growing in popularity as the environment of choice for data analysis and graphics both in academia and industry. Lattice brings the proven design of Trellis graphics (originally developed for S by William S. Cleveland and colleagues at Bell Labs) to R, considerably expanding its capabilities in the process. Lattice is a powerful and elegant... more...

#### Boolean Functions in Cryptology and Information Security

IOS Press 2008; US$ 167.00This 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 Probability

Elsevier Science 1986; US$ 72.95Since 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 Applications

Elsevier Science 2009; US$ 63.95Boolean 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...

#### Cardinal Invariants on Boolean Algebras

Springer 2009; US$ 49.99Deals with cardinal number valued functions defined for any Boolean algebra. This title considers the behavior of these functions under algebraic operations such as products, free products, ultraproducts, and their relationships to one another. It covers topics such as ultraproducts and Fedorchukis theorem. more...

#### Louis Couturat -Traité de Logique algorithmique

Springer 2010; US$ 149.00The manuscript of "The Traite De Logique Algorithmique" resulted from lectures Couturat gave at the University of Caen in 1898/99 on recent developments in symbolic logic, on the relations of logic and mathematics, and on the scope of the methods of mathematics. It is the only one of several manuscripts Couturat mentioned in his correspondence... more...

#### Sheaves of Algebras over Boolean Spaces

Birkhäuser Boston 2011; US$ 124.00This unique monograph building bridges among a number of different areas of mathematics such as algebra, topology, and category theory. The author uses various tools to develop new applications of classical concepts. Detailed proofs are given for all major theorems, about half of which are completely new. Sheaves of Algebras over Boolean Spaces... more...