# The Leading eBooks Store Online

## 3,915,026 members ⚫ 1,276,665 ebooks

Most popular at the top

#### 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. A Transition to Abstract Mathematics teaches readers to construct proofs and communicate with the precision necessary... 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...

#### Lambda-Calculus and Combinators

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

#### Math Proofs Demystified

McGraw-Hill Education 2005; US$ 24.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 uncommon... more...

#### Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Springer Berlin Heidelberg 2008; US$ 83.94This 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...

#### Provability, Computability and Reflection

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection more...

#### Structural Proof Theory

Cambridge University Press 2001; US$ 37.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$ 149.00 US$ 129.13A 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...

#### Invitation to Fixed-Parameter Algorithms

OUP Oxford 2006; US$ 139.99An application-oriented introduction to the highly topical area of the development and analysis of efficient fixed-parameter algorithms for hard problems. Aimed at graduate and research mathematicians, algorithm designers, and computer scientists, it provides a fresh view on this highly innovative field of algorithmic research. more...