# The Leading eBooks Store Online

## 3,725,826 members ⚫ 1,209,635 ebooks

Most popular at the top

#### The Nuts and Bolts of Proofs

Elsevier Science 2011; US$ 49.95The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It... 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$ 79.29This 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...

#### A Framework for Priority Arguments

Cambridge University Press 2010; US$ 76.00This book presents a unifying framework for using priority arguments to prove theorems in computability. 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...

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

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