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

#### Computable Structures and the Hyperarithmetical Hierarchy

Elsevier Science 2000; US$ 175.00This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There... more...

#### Stochastic Algorithms - Foundations and Applications

Springer 2007; US$ 59.95This book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and Applications, SAGA 2007, held in Zurich, Switzerland, in September 2007. The 9 revised full papers and 5 invoted papers presented were carefully reviewed and selected out of 31 submissions for inclusion in the book. The contributed... more...

#### Math Proofs Demystified

McGraw-Hill Education 2005; US$ 22.00Almost every student has to study some sort of mathematical proofs, whether it be in geometry, trigonometry, or with higher-level topics. In addition, mathematical theorems have become an interesting course for many students outside of the mathematical arena, purely for the reasoning and logic that is needed to complete them. Therefore, it is not... 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...

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

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

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