# The Leading eBooks Store Online

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

Most popular at the top

#### Symbolic-Numeric Computation

Springer 2007; US$ 139.00The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations. These two types of computation coexist in mathematics yet are separated in traditional research of mathematical computation. This book presents 27 research articles on the integration... more...

#### Computability, Complexity, Logic

Elsevier Science 1989; US$ 72.95The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory... more...

#### The Lambda Calculus

Elsevier Science 1985; US$ 133.00The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications... more...

#### The Moment of Proof

Oxford University Press, USA 2000; US$ 22.99When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka!" In The Moment of Proof, Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof.... more...

#### The LLL Algorithm

Springer 2010; US$ 209.00The first book to offer a comprehensive view of the LLL algorithm, this text surveys computational aspects of Euclidean lattices and their main applications. It includes many detailed motivations, explanations and examples. more...

#### Logic and Computation

Cambridge University Press 1987; US$ 60.00This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program... more...

#### A Transition to Abstract Mathematics

Elsevier Science 2008; US$ 89.95Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge is a defining moment for those considering a career in mathematics or related fields. Mathematical Thinking and Writing teaches readers to construct proofs and communicate with the precision necessary... more...

#### Frege's Notations

Palgrave Macmillan 2012; US$ 95.00A new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are any disjoint syntactic categories. On this new approach, we can at last read Frege's notations in their original form revealing striking new solutions to many of the outstanding problems of interpreting his philosophy. more...

#### Apartness and Uniformity

Springer 2011; US$ 129.00This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science. more...

#### Complexity Theory

Springer 2005; US$ 89.95Reflects recent developments in its emphasis on randomized and approximation algorithms and communication models All topics are considered from an algorithmic point of view stressing the implications for algorithm design more...