# The Leading eBooks Store Online

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

Most popular at the top

#### Invitation to Fixed-Parameter Algorithms

Oxford University Press 2006; US$ 139.99This research-level text is an application-oriented introduction to the growing and highly topical area of the development and analysis of efficient fixed-parameter algorithms for optimally solving computationally hard combinatorial problems.The book is divided into three parts: a broad introduction that provides the general philosophy and motivation;... more...

#### Computability and Logic

Cambridge University Press 2002; US$ 28.00Now in its fourth edition, this book on logic has been enhanced and rewritten. more...

#### Essays in Constructive Mathematics

Springer 2007; US$ 109.00This book aims to promote constructive mathematics not by defining it or formalizing it but by practicing it. This means that its definitions and proofs use finite algorithms, not `algorithms' that require surveying an infinite number of possibilities to determine whether a given condition is met. The topics covered derive from classic works of... more...

#### New Computational Paradigms

Springer 2007; US$ 169.00Examines developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. This book covers topics in computability theory such as relative computability, theory of numberings, and domain theory. more...

#### Lambda-Calculus and Combinators

Cambridge University Press 2008; US$ 68.00This book gives an account of combinatory logic and lambda-calculus models. more...

#### Applied Proof Theory

Springer 2008; US$ 109.00This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - via extended case studies - carrying out some of these... more...

#### Verblüfft?!: Mathematische Beweise unglaublicher Ideen (German Edition)

Springer 2009; US$ 19.95Das Buch stellt eine Reihe scheinbar paradoxer mathematischer Aussagen und deren Beweise vor. Sie kommen aus verschiedenen Bereichen der Mathematik, darunter das Geburtstagsparadoxon, Conways Chequerboard-Armee und Torricellis Trompete. Angewendet werden elementare Methoden der Kombinatorik, Wahrscheinlichkeitsrechnung, Statistik, Geometrie und Analysis.... more...

#### Structural Proof Theory

Cambridge University Press 2001; US$ 36.00A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs. more...

#### Theorems, Corollaries, Lemmas, and Methods of Proof

Wiley 2011; US$ 139.00A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience as they make the transition from computational mathematics to advanced calculus and algebraic structures, Theorems, Corollaries, Lemmas, and Methods of Proof equips students with the tools... more...

#### Student Solutions Manual for A Transition to Abstract Mathematics

Elsevier Science 2013; US$ 14.99Student Solutions Manual for A Transition to Abstract Mathematics more...