# The Leading eBooks Store Online

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

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

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

#### Mathematicians

Princeton University Press 2013; US$ 33.50Mathematicians is a remarkable collection of ninety-two photographic portraits, featuring some of the most amazing mathematicians of our time. Acclaimed photographer Mariana Cook captures the exuberant and colorful personalities of these brilliant thinkers and the superb images are accompanied by brief autobiographical texts written by each mathematician.... 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...

#### Komplexe Zahlen und ebene Geometrie

De Gruyter Oldenbourg 2009; US$ 347.00Dieses Buch führt anschaulich in die Arithmetik komplexer Zahlen ein und behandelt umfassend ihre Rolle sowohl beim Lösen von Gleichungen wie auch in der Geometrie der Ebene. Übungsaufgaben mit Lösungen sowie ein Anhang zum Rechnen mit komplexen Zahlen und konformen Abbildungen in MAPLE komplettieren das Lehrbuch. more...

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

Springer Fachmedien 2007; US$ 19.95#### CAFE

Elsevier Science 2000; US$ 117.00This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations,... 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...

#### Arithmetic for the Mature Student

Elsevier Science 2014; US$ 72.95Arithmetic for the Mature Student more...